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, https://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, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/qrRB},
  doi       = {10.29007/7kx8}}

@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, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/qFpx},
  doi       = {10.29007/h5vg}}

@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, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/KK},
  doi       = {10.29007/cv3b}}

@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, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/gW},
  doi       = {10.29007/bhvj}}

@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, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/XhNl},
  doi       = {10.29007/gvgn}}

@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, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/66PQ},
  doi       = {10.29007/5pxg}}

@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, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Pc5},
  doi       = {10.29007/kwk9}}