SMT 2012: Author IndexAuthor  Papers 

A  Abdul Aziz, Mohammad  A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems  Alberti, Francesco  Reachability Modulo Theory Library  B  Biere, Armin  Practical Aspects of SAT Solving On the Complexity of FixedSize BitVector Logics with Binary Encoded BitWidth  Bjorner, Nikolaj  Program Verification as Satisfiability Modulo Theories SMTLIB Sequences and Regular Expressions Anatomy of Alternating Quantifier Satisfiability (Work in progress)  Bruttomesso, Roberto  Reachability Modulo Theory Library  Bruttomesso, Roberto  The 2012 SMT Competition  C  Codish, Michael  Exotic SemiRing Constraints  Cok, David  The 2012 SMT Competition  Conchon, Sylvain  Builtin Treatment of an Axiomatic FloatingPoint Theory for SMT Solvers Reasoning with Triggers  D  Darwish, Nevin  A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems  Deters, Morgan  The 2012 SMT Competition  Dross, Claire  Reasoning with Triggers  F  Falke, Stephan  A Theory of Arrays with set and copy Operations  Fekete, Yoav  Exotic SemiRing Constraints  Fröhlich, Andreas  On the Complexity of FixedSize BitVector Logics with Binary Encoded BitWidth  Fuhs, Carsten  Exotic SemiRing Constraints  G  Ganesh, Vijay  SMTLIB Sequences and Regular Expressions An SMTbased approach to automated configuration  Ghilardi, Silvio  Reachability Modulo Theory Library  Giesl, Jürgen  Exotic SemiRing Constraints  Goel, Amit  SMTBased System Verification with DVF  Griggio, Alberto  The 2012 SMT Competition  H  Heymans, Patrick  An SMTbased approach to automated configuration  Hubaux, Arnaud  An SMTbased approach to automated configuration  I  Iguernlala, Mohamed  Builtin Treatment of an Axiomatic FloatingPoint Theory for SMT Solvers  K  Kanig, Johannes  Reasoning with Triggers  Kovásznai, Gergely  On the Complexity of FixedSize BitVector Logics with Binary Encoded BitWidth  Krstic, Sava  SMTBased System Verification with DVF  L  Leslie, Rebekah  SMTBased System Verification with DVF  M  McMillan, Kenneth L.  Program Verification as Satisfiability Modulo Theories  Melquiond, Guillaume  Builtin Treatment of an Axiomatic FloatingPoint Theory for SMT Solvers  Merz, Florian  A Theory of Arrays with set and copy Operations  Michel, Raphaël  SMTLIB Sequences and Regular Expressions An SMTbased approach to automated configuration  Monniaux, David  Anatomy of Alternating Quantifier Satisfiability (Work in progress)  P  Paskevich, Andrei  Reasoning with Triggers  Phan, AnhDung  Anatomy of Alternating Quantifier Satisfiability (Work in progress)  R  Ranise, Silvio  Reachability Modulo Theory Library  Roux, Cody  Builtin Treatment of an Axiomatic FloatingPoint Theory for SMT Solvers  Rybalchenko, Andrey  Program Verification as Satisfiability Modulo Theories  S  Shankar, Natarajan  The Architecture of Inference from SMT to ETB  Sharygina, Natasha  Reachability Modulo Theory Library  Sinz, Carsten  A Theory of Arrays with set and copy Operations  T  Tuttle, Mark  SMTBased System Verification with DVF  V  Veanes, Margus  SMTLIB Sequences and Regular Expressions  W  Waldmann, Johannes  Exotic SemiRing Constraints  Wassal, Amr  A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems 

