Login / Signup
Seven Challenges in Parallel SAT Solving.
Youssef Hamadi
Christoph M. Wintersteiger
Published in:
AAAI (2012)
Keyphrases
</>
sat solving
sat solvers
boolean satisfiability
boolean optimization
dynamic programming
sat problem
objective function
data structure
np complete
search tree