Login / Signup
CafeSat: a modern SAT solver for Scala.
Régis Blanc
Published in:
SCALA@ECOOP (2013)
Keyphrases
</>
sat solvers
orders of magnitude
sat solving
constraint satisfaction
search space
search strategies
propositional satisfiability
sat problem
boolean satisfiability
max sat
search tree
sat instances
sat encodings
clause learning
boolean formula
constraint solver
constraint programming
answer sets