Parallel SAT Solver Selection and Scheduling.

Yuri Malitsky Ashish Sabharwal Horst Samulowitz Meinolf Sellmann

Published in: CP (2012)

Keyphrases

sat solvers
sat instances
search space
sat solving
orders of magnitude
boolean satisfiability
sat problem
scheduling problem
constraint satisfaction
propositional satisfiability
max sat
search strategies
search tree
clause learning
constraint solver
np complete
propositional theories