Login / Signup
Control-Based Clause Sharing in Parallel SAT Solving.
Youssef Hamadi
Saïd Jabbour
Lakhdar Sais
Published in:
IJCAI (2009)
Keyphrases
</>
sat solvers
sat solving
search space
clause learning
sat problem
max sat
search tree
optimal control
cnf formula
boolean optimization