EMSQMS 2010:BibTeX Entries

Volume

@proceedings{EMSQMS2010,
  title     = {EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions},
  editor    = {Aaron Stump and Geoff Sutcliffe and Cesare Tinelli},
  series    = {EPiC Series in Computing},
  volume    = {6},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{EMSQMS2010:Evaluation_Opportunities_in_Mechanized,
  author    = {Joe Hurd},
  title     = {Evaluation Opportunities in Mechanized Theories},
  booktitle = {EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions},
  editor    = {Aaron Stump and Geoff Sutcliffe and Cesare Tinelli},
  series    = {EPiC Series in Computing},
  volume    = {6},
  pages     = {1--4},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

@inproceedings{EMSQMS2010:Exploring_Predictability_of_SAT_SMT,
  author    = {Robert Brummayer and Duckki Oe and Aaron Stump},
  title     = {Exploring Predictability of SAT/SMT Solvers},
  booktitle = {EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions},
  editor    = {Aaron Stump and Geoff Sutcliffe and Cesare Tinelli},
  series    = {EPiC Series in Computing},
  volume    = {6},
  pages     = {5--18},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

@inproceedings{EMSQMS2010:Designing_solver_competition_QBFEVAL10,
  author    = {Claudia Peschiera and Luca Pulina and Armando Tacchella},
  title     = {Designing a solver competition: the QBFEVAL'10 case study},
  booktitle = {EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions},
  editor    = {Aaron Stump and Geoff Sutcliffe and Cesare Tinelli},
  series    = {EPiC Series in Computing},
  volume    = {6},
  pages     = {19--32},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

@inproceedings{EMSQMS2010:Statistical_Methodology_for_Comparison,
  author    = {Mladen Nikoli\textbackslash{}'c},
  title     = {Statistical Methodology for Comparison of SAT Solvers},
  booktitle = {EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions},
  editor    = {Aaron Stump and Geoff Sutcliffe and Cesare Tinelli},
  series    = {EPiC Series in Computing},
  volume    = {6},
  pages     = {33--38},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

@inproceedings{EMSQMS2010:Adaptive_Assertion_Level_Proofs,
  author    = {Christoph Benzm\textbackslash{}"uller and Marvin Schiller},
  title     = {Adaptive Assertion-Level Proofs},
  booktitle = {EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions},
  editor    = {Aaron Stump and Geoff Sutcliffe and Cesare Tinelli},
  series    = {EPiC Series in Computing},
  volume    = {6},
  pages     = {39--40},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

@inproceedings{EMSQMS2010:SMT_Execution_Service_Features,
  author    = {Morgan Deters},
  title     = {The SMT Execution Service: Features, Fairness, and the Future},
  booktitle = {EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions},
  editor    = {Aaron Stump and Geoff Sutcliffe and Cesare Tinelli},
  series    = {EPiC Series in Computing},
  volume    = {6},
  pages     = {41},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

@inproceedings{EMSQMS2010:Different_Proofs_are_Good,
  author    = {Geoff Sutcliffe and Cynthia Chang and Li Ding and Deborah McGuinness and Paulo Pinheiro da Silva},
  title     = {Different Proofs are Good Proofs},
  booktitle = {EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions},
  editor    = {Aaron Stump and Geoff Sutcliffe and Cesare Tinelli},
  series    = {EPiC Series in Computing},
  volume    = {6},
  pages     = {42--51},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}