An overview of parallel SAT solving.

Ruben Martins Vasco M. Manquinho Inês Lynce

Published in: Constraints An Int. J. (2012)

Keyphrases

sat solving
sat solvers
boolean satisfiability
sat problem
boolean optimization
search tree
max sat
symmetry breaking
genetic algorithm
cellular automata
model checking