Login / Signup

Experiment design and administration for computer clusters for SAT-solvers (EDACC).

Adrian BalintDaniel GallGregor KaplerRobert Retz
Published in: J. Satisf. Boolean Model. Comput. (2010)
Keyphrases
  • sat solvers
  • orders of magnitude
  • constraint satisfaction
  • evolutionary algorithm
  • sat problem
  • sat solving