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)

6 ×#smt
3 ×#satisfiability
2 ×#modulo theories
2 ×#verification

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.