HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

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

Editors: Aaron Stump, Geoff Sutcliffe and Cesare Tinelli
EPiC Series in Computing•Volume 6
7 articles•51 pages•Published: May 15, 2012

Papers

Evaluation Opportunities in Mechanized Theories
Joe Leslie-Hurd
Pages 1-4
Exploring Predictability of SAT/SMT Solvers
Robert Brummayer, Duckki Oe and Aaron Stump
Pages 5-18
Designing a solver competition: the QBFEVAL'10 case study
Claudia Peschiera, Luca Pulina and Armando Tacchella
Pages 19-32
Statistical Methodology for Comparison of SAT Solvers
Mladen Nikolic
Pages 33-38
Adaptive Assertion-Level Proofs
Christoph Benzmüller and Marvin Schiller
Pages 39-40
The SMT Execution Service: Features, Fairness, and the Future
Morgan Deters
Page 41
Different Proofs are Good Proofs
Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah McGuinness and Paulo Pinheiro
Pages 42-51

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, SAT2, Satisfiability Modulo Theories, SMT
Copyright © 2012-2023 easychair.org. All rights reserved.