RCRA'07 Accompanying PageThis 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.
[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links] Latest update: 02 July 2007. |