Login / Signup
SAT solver management strategies in IC3: an experimental approach.
Gianpiero Cabodi
Paolo Camurati
Alan Mishchenko
Marco Palena
Paolo Pasini
Published in:
Formal Methods Syst. Des. (2017)
Keyphrases
</>
sat solvers
search strategies
sat solving
orders of magnitude
max sat
boolean satisfiability
sat problem
search tree
propositional satisfiability
constraint satisfaction
sat instances
search space
search strategy
satisfiability problem
constraint solver
unsatisfiable cores