Binary Clause Reasoning in QBF.

Horst Samulowitz Fahiem Bacchus

Published in: SAT (2006)

Keyphrases

boolean formula
quantified boolean formulas
artificial intelligence
knowledge representation
reasoning systems
search space
model based diagnosis
qualitative reasoning
automated reasoning
reasoning tasks
computational properties
theorem prover
model based reasoning
universal quantification