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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2012}}

Papers

@inproceedings{EMSQMS2010:Evaluation_Opportunities_Mechanized_Theories,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/qrRB},
  doi       = {10.29007/7kx8},
  pages     = {1-4},
  year      = {2012}}


@inproceedings{EMSQMS2010:Exploring_Predictability_SAT/SMT_Solvers,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/qFpx},
  doi       = {10.29007/h5vg},
  pages     = {5-18},
  year      = {2012}}


@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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/KK},
  doi       = {10.29007/cv3b},
  pages     = {19-32},
  year      = {2012}}


@inproceedings{EMSQMS2010:Statistical_Methodology_Comparison_SAT,
  author    = {Mladen Nikolić},
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/gW},
  doi       = {10.29007/bhvj},
  pages     = {33-38},
  year      = {2012}}


@inproceedings{EMSQMS2010:Adaptive_Assertion_Level_Proofs,
  author    = {Christoph Benzmüller 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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/XhNl},
  doi       = {10.29007/gvgn},
  pages     = {39-40},
  year      = {2012}}


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


@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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Pc5},
  doi       = {10.29007/kwk9},
  pages     = {42-51},
  year      = {2012}}