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