Benchmarking Solvers, SAT-style.

Martin Brain, James H. Davenport, Alberto Griggio

Browse the full ISSAC paper archive.