SMT 2012:BibTeX Entries

Volume

@proceedings{SMT2012,
  title     = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{SMT2012:Practical_Aspects_of_SAT,
  author    = {Armin Biere},
  title     = {Practical Aspects of SAT Solving},
  booktitle = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  pages     = {1},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/G},
  doi       = {10.29007/kbw9}}

@inproceedings{SMT2012:Architecture_of_Inference_from,
  author    = {Natarajan Shankar},
  title     = {The Architecture of Inference from SMT to ETB},
  booktitle = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  pages     = {2},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/DC4n},
  doi       = {10.29007/1tc6}}

@inproceedings{SMT2012:Program_Verification_as_Satisfiability,
  author    = {Nikolaj Bjorner and Kenneth McMillan and Andrey Rybalchenko},
  title     = {Program Verification as Satisfiability Modulo Theories},
  booktitle = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  pages     = {3--11},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/qGkT},
  doi       = {10.29007/1l7f}}

@inproceedings{SMT2012:Built_in_Treatment_of_an,
  author    = {Sylvain Conchon and Guillaume Melquiond and Cody Roux and Mohamed Iguernelala},
  title     = {Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers},
  booktitle = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  pages     = {12--21},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/KH27},
  doi       = {10.29007/wh99}}

@inproceedings{SMT2012:Reasoning_with_Triggers,
  author    = {Claire Dross and Sylvain Conchon and Johannes Kanig and Andrei Paskevich},
  title     = {Reasoning with Triggers},
  booktitle = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  pages     = {22--31},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/27L},
  doi       = {10.29007/3c1n}}

@inproceedings{SMT2012:SMT_Based_System_Verification_with,
  author    = {Amit Goel and Sava Krstic and Rebekah Leslie and Mark Tuttle},
  title     = {SMT-Based System Verification with DVF},
  booktitle = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  pages     = {32--43},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/cGS},
  doi       = {10.29007/59rn}}

@inproceedings{SMT2012:On_Complexity_of_Fixed_Size,
  author    = {Gergely Kov\textbackslash{}'asznai and Andreas Fr\textbackslash{}"ohlich and Armin Biere},
  title     = {On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width},
  booktitle = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  pages     = {44--56},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/SF7},
  doi       = {10.29007/cvnz}}

@inproceedings{SMT2012:Machine_Learning_Technique_for,
  author    = {Mohammad Abdul Aziz and Amr Wassal and Nevine Darwish},
  title     = {A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems},
  booktitle = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  pages     = {57--66},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/kW},
  doi       = {10.29007/z794}}

@inproceedings{SMT2012:Reachability_Modulo_Theory_Library,
  author    = {Francesco Alberti and Roberto Bruttomesso and Silvio Ghilardi and Silvio Ranise and Natasha Sharygina},
  title     = {Reachability Modulo Theory Library},
  booktitle = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  pages     = {67--76},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/p1M1},
  doi       = {10.29007/f3rp}}

@inproceedings{SMT2012:SMT_LIB_Sequences_and_Regular,
  author    = {Nikolaj Bjorner and Vijay Ganesh and Rapha\textbackslash{}"el Michel and Margus Veanes},
  title     = {SMT-LIB Sequences and Regular Expressions},
  booktitle = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  pages     = {77--87},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/1Cs},
  doi       = {10.29007/w5m5}}

@inproceedings{SMT2012:Exotic_Semi_Ring_Constraints,
  author    = {Michael Codish and Yoav Fekete and Carsten Fuhs and J\textbackslash{}"urgen Giesl and Johannes Waldmann},
  title     = {Exotic Semi-Ring Constraints},
  booktitle = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  pages     = {88--97},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/TXn},
  doi       = {10.29007/qqvt}}

@inproceedings{SMT2012:Theory_of_Arrays_with,
  author    = {Stephan Falke and Carsten Sinz and Florian Merz},
  title     = {A Theory of Arrays with set and copy Operations},
  booktitle = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  pages     = {98--108},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/9WF},
  doi       = {10.29007/q58t}}

@inproceedings{SMT2012:An_SMT_based_approach_to,
  author    = {Rapha\textbackslash{}"el Michel and Arnaud Hubaux and Vijay Ganesh and Patrick Heymans},
  title     = {An SMT-based approach to automated configuration},
  booktitle = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  pages     = {109--119},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/bKGs},
  doi       = {10.29007/5n7n}}

@inproceedings{SMT2012:Anatomy_of_Alternating_Quantifier,
  author    = {Anh-Dung Phan and Nikolaj Bj\{\textbackslash{}o\}rner and David Monniaux},
  title     = {Anatomy of Alternating Quantifier Satisfiability (Work in progress)},
  booktitle = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  pages     = {120--130},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/72M},
  doi       = {10.29007/8cf7}}

@inproceedings{SMT2012:2012_SMT_Competition,
  author    = {David Cok and Alberto Griggio and Roberto Bruttomesso and Morgan Deters},
  title     = {The 2012 SMT Competition},
  booktitle = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  pages     = {131--142},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/FM},
  doi       = {10.29007/gj66}}