Statistical Methodology for Comparison of SAT Solvers.

Mladen Nikolic

Browse the full CADE paper archive.