Login / Signup

Seven Challenges in Parallel SAT Solving.

Youssef HamadiChristoph M. Wintersteiger
Published in: AI Mag. (2013)
Keyphrases
  • sat solving
  • sat solvers
  • genetic algorithm
  • objective function
  • search space
  • search tree
  • max sat
  • boolean optimization