Statistical Methodology for Comparison of SAT Solvers.

Mladen Nikolic

Browse the full SAT paper archive.