SMT 2012: Author Index| Author | 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 Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width | | Bjorner, Nikolaj | Program Verification as Satisfiability Modulo Theories
SMT-LIB 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 Semi-Ring Constraints | | Cok, David | The 2012 SMT Competition | | Conchon, Sylvain | Built-in Treatment of an Axiomatic Floating-Point 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 Semi-Ring Constraints | | Fröhlich, Andreas | On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width | | Fuhs, Carsten | Exotic Semi-Ring Constraints | | G | | Ganesh, Vijay | SMT-LIB Sequences and Regular Expressions
An SMT-based approach to automated configuration | | Ghilardi, Silvio | Reachability Modulo Theory Library | | Giesl, Jürgen | Exotic Semi-Ring Constraints | | Goel, Amit | SMT-Based System Verification with DVF | | Griggio, Alberto | The 2012 SMT Competition | | H | | Heymans, Patrick | An SMT-based approach to automated configuration | | Hubaux, Arnaud | An SMT-based approach to automated configuration | | I | | Iguernlala, Mohamed | Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers | | K | | Kanig, Johannes | Reasoning with Triggers | | Kovásznai, Gergely | On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width | | Krstic, Sava | SMT-Based System Verification with DVF | | L | | Leslie, Rebekah | SMT-Based System Verification with DVF | | M | | McMillan, Kenneth L. | Program Verification as Satisfiability Modulo Theories | | Melquiond, Guillaume | Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers | | Merz, Florian | A Theory of Arrays with set and copy Operations | | Michel, Raphaël | SMT-LIB Sequences and Regular Expressions
An SMT-based approach to automated configuration | | Monniaux, David | Anatomy of Alternating Quantifier Satisfiability (Work in progress) | | P | | Paskevich, Andrei | Reasoning with Triggers | | Phan, Anh-Dung | Anatomy of Alternating Quantifier Satisfiability (Work in progress) | | R | | Ranise, Silvio | Reachability Modulo Theory Library | | Roux, Cody | Built-in Treatment of an Axiomatic Floating-Point 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 | SMT-Based System Verification with DVF | | V | | Veanes, Margus | SMT-LIB Sequences and Regular Expressions | | W | | Waldmann, Johannes | Exotic Semi-Ring Constraints | | Wassal, Amr | A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems |
|
|
