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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2013}}
Papers
@inproceedings{SMT2012:Practical_Aspects_SAT_Solving,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/G},
doi = {10.29007/kbw9},
pages = {1},
year = {2013}}
@inproceedings{SMT2012:Architecture_Inference_from_SMT,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/DC4n},
doi = {10.29007/1tc6},
pages = {2},
year = {2013}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/qGkT},
doi = {10.29007/1l7f},
pages = {3-11},
year = {2013}}
@inproceedings{SMT2012:Built_Treatment_Axiomatic_Floating,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/KH27},
doi = {10.29007/wh99},
pages = {12-21},
year = {2013}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/27L},
doi = {10.29007/3c1n},
pages = {22-31},
year = {2013}}
@inproceedings{SMT2012:SMT_Based_System_Verification,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/cGS},
doi = {10.29007/59rn},
pages = {32-43},
year = {2013}}
@inproceedings{SMT2012:Complexity_Fixed_Size_Bit,
author = {Gergely Kovásznai and Andreas Fröhlich 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/SF7},
doi = {10.29007/cvnz},
pages = {44-56},
year = {2013}}
@inproceedings{SMT2012:Machine_Learning_Technique_Hardness,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/kW},
doi = {10.29007/z794},
pages = {57-66},
year = {2013}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/p1M1},
doi = {10.29007/f3rp},
pages = {67-76},
year = {2013}}
@inproceedings{SMT2012:SMT_LIB_Sequences_Regular,
author = {Nikolaj Bjorner and Vijay Ganesh and Raphaël 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/1Cs},
doi = {10.29007/w5m5},
pages = {77-87},
year = {2013}}
@inproceedings{SMT2012:Exotic_Semi_Ring_Constraints,
author = {Michael Codish and Yoav Fekete and Carsten Fuhs and Jürgen 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/TXn},
doi = {10.29007/qqvt},
pages = {88-97},
year = {2013}}
@inproceedings{SMT2012:Theory_Arrays_with_set,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/9WF},
doi = {10.29007/q58t},
pages = {98-108},
year = {2013}}
@inproceedings{SMT2012:SMT_based_approach_automated,
author = {Raphaël 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/bKGs},
doi = {10.29007/5n7n},
pages = {109-119},
year = {2013}}
@inproceedings{SMT2012:Anatomy_Alternating_Quantifier_Satisfiability,
author = {Anh-Dung Phan and Nikolaj Bjø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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/72M},
doi = {10.29007/8cf7},
pages = {120-130},
year = {2013}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/FM},
doi = {10.29007/gj66},
pages = {131-142},
year = {2013}}
