Generalized cofactoring for logic function evaluation.

Yunjian Jiang Slobodan Matic Robert K. Brayton

Published in: DAC (2003)

Keyphrases

multi valued
sound and complete axiomatization
logic programming
data sets
evaluation method
evaluation methods
machine learning
objective function
knowledge representation
information retrieval systems
evaluation process
classical logic
dual space