| Even Faster Conflicts and Lazier Reductions for String Solvers | 0 | 0.34 | 2022 |
| Towards Satisfiability Modulo Parametric Bit-vectors | 0 | 0.34 | 2021 |
| SL-COMP: Competition of Solvers for Separation Logic | 0 | 0.34 | 2019 |
| Invertibility Conditions For Floating-Point Formulas | 1 | 0.36 | 2019 |
| Towards Bit-Width-Independent Proofs in SMT Solvers. | 1 | 0.36 | 2019 |
| High-Level Abstractions For Simplifying Extended String Constraints In Smt | 1 | 0.36 | 2019 |
| Revisiting Enumerative Instantiation. | 0 | 0.34 | 2018 |
| The FMCAD 2018 Graduate Student Forum | 0 | 0.34 | 2018 |
| CVC4 at the SMT Competition 2018. | 0 | 0.34 | 2018 |
| Reasoning with Finite Sets and Cardinality Constraints in SMT. | 0 | 0.34 | 2018 |
| Solving Quantified Bit-Vectors Using Invertibility Conditions | 1 | 0.36 | 2018 |
| Constraint Solving for Finite Model Finding in SMT Solvers. | 0 | 0.34 | 2017 |
| Solving quantified linear arithmetic by counterexample-guided instantiation. | 2 | 0.38 | 2017 |
| Challenges for Fast Synthesis Procedures in SMT. | 0 | 0.34 | 2017 |
| Designing Theory Solvers with Extensions. | 4 | 0.41 | 2017 |
| Sygus Techniques In The Core Of An Smt Solver | 0 | 0.34 | 2017 |
| Congruence Closure with Free Variables. | 1 | 0.36 | 2017 |
| Relational Constraint Solving in SMT. | 2 | 0.35 | 2017 |
| Conflicts, Models and Heuristics for Quantifier Instantiation in SMT. | 0 | 0.34 | 2016 |
| A Decision Procedure for Separation Logic in SMT. | 5 | 0.41 | 2016 |
| Lazy proofs for DPLL(T)-based SMT solvers. | 1 | 0.35 | 2016 |
| Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors. | 3 | 0.41 | 2015 |
| An Instantiation-Based Approach for Solving Quantified Linear Arithmetic. | 3 | 0.38 | 2015 |
| Counterexample-Guided Quantifier Instantiation For Synthesis In Smt | 30 | 0.91 | 2015 |
| Finding conflicting instances of quantified formulas in SMT | 15 | 0.60 | 2014 |
| A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions. | 48 | 1.19 | 2014 |
| Quantifier instantiation techniques for finite model finding in SMT | 14 | 0.62 | 2013 |
| SMT proof checking using a logical framework | 13 | 0.69 | 2013 |
| Finite model finding in SMT | 17 | 0.68 | 2013 |
| The commotion wireless project | 3 | 0.46 | 2011 |
| CVC4 | 47 | 1.43 | 2011 |
