Author:Robert Brummayer

Publications
Exploring Predictability of SAT/SMT Solvers Robert Brummayer, Duckki Oe and Aaron Stump In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions