EMSQMS 2010: Volume Information

EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions

Papers

Keyphrases

assertion 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, SAT², Satisfiability Modulo Theories, SMT.