Revisiting Clause Exchange in Parallel SAT Solving.

Gilles Audemard Benoît Hoessen Saïd Jabbour Jean-Marie Lagniez Cédric Piette

Published in: SAT (2012)

Keyphrases

sat solving
sat solvers
boolean satisfiability
search space
clause learning
sat problem
boolean formula
boolean optimization
information retrieval
search tree