Author:Mladen Nikolic

Publications
Statistical Methodology for Comparison of SAT Solvers Mladen Nikolić In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions