Login / Signup
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