On the Power of Logic Resynthesis.

Wei-Liang Lin Amir H. Farrahi Majid Sarrafzadeh

Published in: SIAM J. Comput. (2000)

Keyphrases

power consumption
logic programming
modal logic
database
machine learning
multi valued
classical logic
chip design
knowledge base
decision trees
bayesian networks
data structure
evolutionary algorithm
predicate logic
abductive reasoning
sound and complete axiomatization