Building Efficient Decision Procedures on Top of SAT Solvers.

Alessandro Cimatti Roberto Sebastiani

Published in: SFM (2006)

Keyphrases

decision procedures
sat solvers
automated reasoning
modal logic
theorem proving
propositional satisfiability
search space
orders of magnitude
max sat
database
search strategy
search strategies
sat problem