Login / Signup
A Fast SAT Solver for Isabelle in Standard ML.
Armin Heller
Published in:
Arch. Formal Proofs (2009)
Keyphrases
</>
sat solvers
sat solving
orders of magnitude
boolean satisfiability
sat instances
search space
propositional satisfiability
theorem prover
sat problem
max sat
constraint solver
special case
constraint satisfaction