Login / Signup
LearnSAT: A SAT Solver for Education.
Moti Ben-Ari
Published in:
J. Open Source Softw. (2018)
Keyphrases
</>
sat solvers
orders of magnitude
sat solving
constraint satisfaction
boolean satisfiability
search space
max sat
propositional satisfiability
sat instances
sat problem
search tree
search strategies
answer sets
unsatisfiable cores
clause learning
graph coloring
constraint programming
query expansion