Aligning CNF- and Equivalence-reasoning.

Marijn Heule Hans van Maaren

Published in: SAT (2004)

Keyphrases

knowledge base
reasoning systems
image registration
knowledge representation
automated reasoning
lower bound
boolean functions
qualitative reasoning
data sets
expert systems
meta level
uncertain information
model based reasoning
deductive reasoning