TCS / Matti Järvisalo / RCRA'07 -- Accompanying Page
Page not found | Department of Computer Science [pre 2018 site]

Page not found

The requested page could not be found.

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.
Page not found | Department of Computer Science [pre 2018 site]

Page not found

The requested page could not be found.