Login / Signup
EMSQMS@IJCAR
2010
2012
2010
2012
Keyphrases
Publications
volume 6, 2012
Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, EMSQMS 2010, Edinburgh, UK, July 20, 2010
EMSQMS@IJCAR
6 (2012)
2010
Robert Brummayer
,
Duckki Oe
,
Aaron Stump
Exploring Predictability of SAT/SMT Solvers.
EMSQMS@IJCAR
(2010)
Geoff Sutcliffe
,
Cynthia Chang
,
Li Ding
,
Deborah L. McGuinness
,
Paulo Pinheiro da Silva
Different Proofs are Good Proofs.
EMSQMS@IJCAR
(2010)
Claudia Peschiera
,
Luca Pulina
,
Armando Tacchella
Designing a solver competition: the QBFEVAL'10 case study.
EMSQMS@IJCAR
(2010)
Christoph Benzmüller
,
Marvin R. G. Schiller
Adaptive Assertion-Level Proofs.
EMSQMS@IJCAR
(2010)
Mladen Nikolic
Statistical Methodology for Comparison of SAT Solvers.
EMSQMS@IJCAR
(2010)
Joe Hurd
Evaluation Opportunities in Mechanized Theories.
EMSQMS@IJCAR
(2010)
Morgan Deters
The SMT Execution Service: Features, Fairness, and the Future.
EMSQMS@IJCAR
(2010)