Experiment design and administration for computer clusters for SAT-solvers (EDACC)
Adrian Balint, Daniel Gall, Gregor Kapler, Robert Retz · Journal on Satisfiability Boolean Modeling and Computation · 2010
The design of a SAT-solver or the modification of an existing one is always followed by a phase of intensive testing of the solver on a benchmark of instances. This task can be very time consuming even when using multi-core computers or computer clus