Login / Signup

Portfolio-based Parallel SAT solving.

Lakhdar Sais
Published in: HPCS (2010)
Keyphrases
  • sat solving
  • sat solvers
  • boolean satisfiability
  • sat problem
  • boolean optimization
  • constraint satisfaction
  • max sat
  • propositional satisfiability