![](/img/cover-not-exists.png)
Experiment design and administration for computer clusters for SAT-solvers (EDACC)
Balint, Adrian, Gall, Daniel, Kapler, Gregor, Retz, RobertVolume:
7
Journal:
Journal on Satisfiability, Boolean Modeling and Computation
DOI:
10.3233/SAT190078
Date:
August, 2010
File:
PDF, 504 KB
2010