EPiC Series
Latest Publications
Search
Keywords
EPiC Volume 6
Aaron Stump
,
Geoff Sutcliffe
and
Cesare Tinelli
(editors)
EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions
Volume Information
Papers with Abstracts
Preface
Author Index
Keyword Index
Bibtex Entries
Table of Contents
Volume Information
Title:
EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions
Editors:
Aaron Stump
,
Geoff Sutcliffe
and
Cesare Tinelli
Series:
EasyChair Proceedings in Computing
Volume:
6
Publication date:
May 15, 2012
Papers
authors
title
Joe Hurd
Evaluation Opportunities in Mechanized Theories
Robert Brummayer
,
Duckki Oe
and
Aaron Stump
Exploring Predictability of SAT/SMT Solvers
Claudia Peschiera
,
Luca Pulina
and
Armando Tacchella
Designing a solver competition: the QBFEVAL'10 case study
Mladen Nikolić
Statistical Methodology for Comparison of SAT Solvers
Christoph Benzmüller
and
Marvin Schiller
Adaptive Assertion-Level Proofs
Morgan Deters
The SMT Execution Service: Features, Fairness, and the Future
Geoff Sutcliffe
,
Cynthia Chang
,
Li Ding
,
Deborah McGuinness
and
Paulo Pinheiro da Silva
Different Proofs are Good Proofs