Proceedings of the 10th International Workshop on Satisfiability Modulo Theories
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Pascal Fontaine, Amit Goel
Proceedings of the 10th International Workshop on Satisfiability Modulo Theories
SMT, 2012.

Full names Links ISxN
	address       = "Manchester, England, United Kingdom",
	editor        = "Pascal Fontaine and Amit Goel",
	ee            = "",
	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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.