A New Set of Algebraic Benchmark Problems for SAT Solvers.

Andreas Meier, Volker Sorge

Browse the full SAT paper archive.