Aligning CNF- and Equivalence-Reasoning.
Marijn HeuleHans van MaarenPublished in: SAT (Selected Papers (2004)
Keyphrases
- knowledge representation
- knowledge base
- reasoning process
- reasoning systems
- boolean functions
- meta level
- automated reasoning
- image registration
- rule based reasoning
- probabilistic reasoning
- model based reasoning
- conjunctive normal form
- reasoning problems
- analogical reasoning
- orders of magnitude
- case based reasoning
- multi agent