Toward Easy Parallel SAT Solving.

Gilles Dequen Pascal Vander-Swalmen Michaël Krajecki

Published in: ICTAI (2009)

Keyphrases

sat solving
sat solvers
boolean satisfiability
boolean optimization
sat problem
learning algorithm
search space
special case
scheduling problem
constraint satisfaction problems
orders of magnitude
search strategy
clause learning