EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions7 articles•51 pages•Published: May 15, 2012 Papers
Keyphrasesassertion level proofs, comparison, competition infrastructure, difference, evaluation, execution service, machine learning, mechanized theories, performance metrics, predictability, proof, proof presentation, QBF competition, Quality, Quantified Boolean Formulas, SAT2, Satisfiability Modulo Theories, SMT |
