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}}