RCRA'07 Accompanying Page

This is the accompanying web page for the RCRA'07 submission The Effect of Structural Branching on the Efficiency of Clause Learning SAT Solving by Matti Järvisalo, containing the benchmarks used and relevant links to solvers used in the paper.

• The set of Boolean circuit satisfiability benchmarks used in the paper are available here (around 6.5 MB). The benchmarks are in the BC file format.
• The original Boolean circuit front-end BCMinisat applied in the paper is part of the BC package, and accepts the BC format.
• BCMinisat runs the clause learning CNF SAT solver Minisat.