Journal: JSAT

Volume 7, Issue 2-3

59 -- 6Daniel Le Berre, Anne Parrain. The Sat4j library, release 2.2
65 -- 70Luca Pulina, Armando Tacchella. AQME 10
71 -- 76Florian Lonsing, Armin Biere. DepQBF: A Dependency-Aware QBF Solver
77 -- 82Adrian Balint, Daniel Gall, Gregor Kapler, Robert Retz. Experiment design and administration for computer clusters for SAT-solvers (EDACC)
83 -- 88Enrico Giunchiglia, Paolo Marin, Massimo Narizzano. QuBE7.0
89 -- 126Federico Heras, David BaƱeres. The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers