Towards Robustness in Parallel SAT Solving.

Wolfgang Blochinger

Published in: PARCO (2005)

Keyphrases

sat solving
sat solvers
boolean satisfiability
boolean optimization
sat problem
search space
state space
information retrieval systems
symmetry breaking