SMT 2012:Keyword Index

Keyword	Papers
A
arithmetic	Anatomy of Alternating Quantifier Satisfiability (Work in progress)
axiomatic theory	Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers
B
bit-precise reasoning	On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width
bit-vector logics	On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width
bitvectors	A Theory of Arrays with set and copy Operations
C
complexity	On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width
Configuration	An SMT-based approach to automated configuration
copy	A Theory of Arrays with set and copy Operations
D
decision procedure	On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width Anatomy of Alternating Quantifier Satisfiability (Work in progress)
E
exotic semi-rings	Exotic Semi-Ring Constraints
F
floating-point	Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers
H
High-level modeling	SMT-Based System Verification with DVF
I
Instantiation	Reasoning with Triggers
integers	A Theory of Arrays with set and copy Operations
M
machine learning	A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems
Mapping	An SMT-based approach to automated configuration
memcpy	A Theory of Arrays with set and copy Operations
memmove	A Theory of Arrays with set and copy Operations
memset	A Theory of Arrays with set and copy Operations
model checking	Reachability Modulo Theory Library
N
NEXPTIME	On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width
O
order encoding	Exotic Semi-Ring Constraints
P
Presburger arithmetic	Anatomy of Alternating Quantifier Satisfiability (Work in progress)
product lines	An SMT-based approach to automated configuration
program verification	Program Verification as Satisfiability Modulo Theories
Q
quantifier elimination	Anatomy of Alternating Quantifier Satisfiability (Work in progress)
quantifiers	Reasoning with Triggers
R
Reachability Modulo Theories	Reachability Modulo Theory Library
real arithmetic	Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers
regular expressions	SMT-LIB Sequences and Regular Expressions
S
SAT encodings	Exotic Semi-Ring Constraints
satisfiability	An SMT-based approach to automated configuration
satisfiability module theories	The 2012 SMT Competition
SET	A Theory of Arrays with set and copy Operations
simplex	Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers
SMT	Program Verification as Satisfiability Modulo Theories Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers Reasoning with Triggers SMT-Based System Verification with DVF On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems SMT-LIB Sequences and Regular Expressions A Theory of Arrays with set and copy Operations An SMT-based approach to automated configuration Anatomy of Alternating Quantifier Satisfiability (Work in progress) The 2012 SMT Competition
SMT Competition	The 2012 SMT Competition
SMT solver	The 2012 SMT Competition
SMT-COMP	The 2012 SMT Competition
SMT-evaluation	The 2012 SMT Competition
SMT-IDL	Exotic Semi-Ring Constraints
SMT-LIA	Exotic Semi-Ring Constraints
SMT-LIB	Reachability Modulo Theory Library SMT-LIB Sequences and Regular Expressions
Statistical Hardness models	A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems
STP	An SMT-based approach to automated configuration
strings	SMT-LIB Sequences and Regular Expressions
symbolic model checking	Program Verification as Satisfiability Modulo Theories
system description languages	SMT-Based System Verification with DVF
T
theories	Reasoning with Triggers SMT-LIB Sequences and Regular Expressions
Theory of Arrays	A Theory of Arrays with set and copy Operations
transition systems	SMT-Based System Verification with DVF
triggers	Reasoning with Triggers
TVL	An SMT-based approach to automated configuration
V
variability	An SMT-based approach to automated configuration
verification	SMT-Based System Verification with DVF