Multithreaded SAT Solving.

Matthew Lewis Tobias Schubert Bernd Becker

Published in: ASP-DAC (2007)

Keyphrases

sat solving
sat solvers
boolean satisfiability
sat problem
mutual exclusion
boolean optimization
max sat
constraint satisfaction
search tree