Verifying Propositional Unsatisfiability: Pitfalls to Avoid.

Allen Van Gelder

Published in: SAT (2007)

Keyphrases

propositional formulas
propositional logic
cnf formula
first order logic
databases
max sat
clause learning
strips planning
database
real time
knowledge representation
object oriented
model checking
multi valued
stochastic local search