## Pascal Fontaine, Amit Goel

*Proceedings of the 10th International Workshop on Satisfiability Modulo Theories*

SMT, 2012.

@proceedings{SMT-2012,
address = "Manchester, England, United Kingdom",
editor = "Pascal Fontaine and Amit Goel",
ee = "http://www.easychair.org/publications/?page=933681105",
publisher = "{EasyChair}",
series = "{EPiC Series}",
title = "{Proceedings of the 10th International Workshop on Satisfiability Modulo Theories}",
volume = 20,
year = 2012,
}

### Contents (15 items)

- SMT-2012-Biere #aspect-oriented #satisfiability
- Practical Aspects of SAT Solving (AB), p. 1.
- SMT-2012-Shankar #architecture #smt
- The Architecture of Inference from SMT to ETB (NS), p. 2.
- SMT-2012-BjornerMR #modulo theories #satisfiability #verification
- Program Verification as Satisfiability Modulo Theories (NB, KLM, AR), pp. 3–11.
- SMT-2012-ConchonMRI #axiom #float #smt
- Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers (SC, GM, CR, MI), pp. 12–21.
- SMT-2012-DrossCKP #reasoning
- Reasoning with Triggers (CD, SC, JK, AP), pp. 22–31.
- SMT-2012-GoelKLT #smt #verification
- SMT-Based System Verification with DVF (AG, SK, RL, MRT), pp. 32–43.
- SMT-2012-KovasznaiFB #complexity #logic #on the
- On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width (GK, AF, AB), pp. 44–56.
- SMT-2012-AzizWD #estimation #machine learning #problem #smt
- A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems (MAA, AGW, NMD), pp. 57–66.
- SMT-2012-AlbertiBGRS #library #modulo theories #reachability
- Reachability Modulo Theory Library (FA, RB, SG, SR, NS), pp. 67–76.
- SMT-2012-BjornerGMV #regular expression #sequence
- SMT-LIB Sequences and Regular Expressions (NB, VG, RM, MV), pp. 77–87.
- SMT-2012-CodishFFGW #constraints
- Exotic Semi-Ring Constraints (MC, YF, CF, JG, JW), pp. 88–97.
- SMT-2012-FalkeSM #array #formal method #set
- A Theory of Arrays with set and copy Operations (SF, CS, FM), pp. 98–108.
- SMT-2012-MichelHGH #approach #automation #smt
- An SMT-based approach to automated configuration (RM, AH, VG, PH), pp. 109–119.
- SMT-2012-PhanBM #quantifier #satisfiability
- Anatomy of Alternating Quantifier Satisfiability (ADP, NB, DM), pp. 120–130.
- SMT-2012-CokGBD #contest #smt
- The 2012 SMT Competition (DRC, AG, RB, MD), pp. 131–142.