Logic Test Pattern Generation Using Linear Codes.

Donald T. Tang Chin-Long Chen

Published in: IEEE Trans. Computers (1984)

Keyphrases

logic programming
logical operations
error correction
epistemic logic
machine learning
search engine
information systems
multi agent
modal logic
linear model
logical framework
classical logic