Login / Signup
Seven Challenges in Parallel SAT Solving.
Youssef Hamadi
Christoph M. Wintersteiger
Published in:
AI Mag. (2013)
Keyphrases
</>
sat solving
sat solvers
genetic algorithm
objective function
search space
search tree
max sat
boolean optimization