POS-10 Accepted Papers

Enhanced Gaussian Elimination in DPLL-based SAT Solvers
Experiment design and administration for computer clusters for SAT-solvers (EDACC)
The SAT4J library 2.2, System Description
DepQBF: A Dependency-Aware QBF Solver
Improved Exact Solver for the Weighted MAX-SAT Problem
Towards Improving the Resource Usage of SAT-solvers
AQME'10 System Description