SMT 2012: Author Index

AuthorPapers
A
Abdul Aziz, MohammadA Machine Learning Technique for Hardness Estimation of QFBV SMT Problems
Alberti, FrancescoReachability Modulo Theory Library
B
Biere, ArminPractical Aspects of SAT Solving
On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width
Bjorner, NikolajProgram Verification as Satisfiability Modulo Theories
SMT-LIB Sequences and Regular Expressions
Anatomy of Alternating Quantifier Satisfiability (Work in progress)
Bruttomesso, RobertoReachability Modulo Theory Library
Bruttomesso, RobertoThe 2012 SMT Competition
C
Codish, MichaelExotic Semi-Ring Constraints
Cok, DavidThe 2012 SMT Competition
Conchon, SylvainBuilt-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers
Reasoning with Triggers
D
Darwish, NevinA Machine Learning Technique for Hardness Estimation of QFBV SMT Problems
Deters, MorganThe 2012 SMT Competition
Dross, ClaireReasoning with Triggers
F
Falke, StephanA Theory of Arrays with set and copy Operations
Fekete, YoavExotic Semi-Ring Constraints
Fröhlich, AndreasOn the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width
Fuhs, CarstenExotic Semi-Ring Constraints
G
Ganesh, VijaySMT-LIB Sequences and Regular Expressions
An SMT-based approach to automated configuration
Ghilardi, SilvioReachability Modulo Theory Library
Giesl, JürgenExotic Semi-Ring Constraints
Goel, AmitSMT-Based System Verification with DVF
Griggio, AlbertoThe 2012 SMT Competition
H
Heymans, PatrickAn SMT-based approach to automated configuration
Hubaux, ArnaudAn SMT-based approach to automated configuration
I
Iguernlala, MohamedBuilt-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers
K
Kanig, JohannesReasoning with Triggers
Kovásznai, GergelyOn the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width
Krstic, SavaSMT-Based System Verification with DVF
L
Leslie, RebekahSMT-Based System Verification with DVF
M
McMillan, Kenneth L.Program Verification as Satisfiability Modulo Theories
Melquiond, GuillaumeBuilt-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers
Merz, FlorianA Theory of Arrays with set and copy Operations
Michel, RaphaëlSMT-LIB Sequences and Regular Expressions
An SMT-based approach to automated configuration
Monniaux, DavidAnatomy of Alternating Quantifier Satisfiability (Work in progress)
P
Paskevich, AndreiReasoning with Triggers
Phan, Anh-DungAnatomy of Alternating Quantifier Satisfiability (Work in progress)
R
Ranise, SilvioReachability Modulo Theory Library
Roux, CodyBuilt-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers
Rybalchenko, AndreyProgram Verification as Satisfiability Modulo Theories
S
Shankar, NatarajanThe Architecture of Inference from SMT to ETB
Sharygina, NatashaReachability Modulo Theory Library
Sinz, CarstenA Theory of Arrays with set and copy Operations
T
Tuttle, MarkSMT-Based System Verification with DVF
V
Veanes, MargusSMT-LIB Sequences and Regular Expressions
W
Waldmann, JohannesExotic Semi-Ring Constraints
Wassal, AmrA Machine Learning Technique for Hardness Estimation of QFBV SMT Problems