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 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 |
|
|