Login / Signup

Automatic parallel SAT solving using MTSS.

Pascal Vander-SwalmenMichaël KrajeckiGilles Dequen
Published in: HPCS (2009)
Keyphrases
  • sat solving
  • sat solvers
  • boolean satisfiability
  • information retrieval
  • genetic algorithm
  • constraint satisfaction
  • sat problem