Mladen Nikolic. Statistical Methodology for Comparison of SAT Solvers. In Aaron Stump, Geoff Sutcliffe, Cesare Tinelli, editors, Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, EMSQMS 2010, Edinburgh, UK, July 20, 2010. Volume 6 of EPiC Series, pages 33-38, EasyChair, 2010. [doi]