An Adaptive Parallel SAT Solver.

Gilles Audemard Jean-Marie Lagniez Nicolas Szczepanski Sébastien Tabary

Published in: CP (2016)

Keyphrases

sat solvers
sat solving
orders of magnitude
constraint satisfaction
boolean satisfiability
sat problem
propositional satisfiability
sat instances
search tree
max sat
search strategies
search space
search algorithm
symmetry breaking
boolean formula
constraint solver
clause learning
constraint satisfaction problems