| Even Faster Conflicts and Lazier Reductions for String Solvers | 0 | 0.34 | 2022 |
| Politeness And Stable Infiniteness: Stronger Together | 0 | 0.34 | 2021 |
| Verdict: A Language And Framework For Engineering Cyber Resilient And Safe System | 0 | 0.34 | 2021 |
| Towards Satisfiability Modulo Parametric Bit-vectors | 0 | 0.34 | 2021 |
| On Solving Quantified Bit-Vector Constraints Using Invertibility Conditions | 0 | 0.34 | 2021 |
| Smt-Switch: A Solver-Agnostic C plus plus API for SMT Solving | 0 | 0.34 | 2021 |
| First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions. | 0 | 0.34 | 2020 |
| Smt-Switch: a solver-agnostic C++ API for SMT Solving | 0 | 0.34 | 2020 |
| Reductions for Strings and Regular Expressions Revisited | 0 | 0.34 | 2020 |
| SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces | 0 | 0.34 | 2020 |
| Symbolic computation and satisfiability checking | 0 | 0.34 | 2020 |
| Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis. | 0 | 0.34 | 2020 |
| Syntax-Guided Rewrite Rule Enumeration for SMT Solvers. | 0 | 0.34 | 2019 |
| Invertibility Conditions For Floating-Point Formulas | 1 | 0.36 | 2019 |
| Theory Combination - Beyond Equality Sharing. | 0 | 0.34 | 2019 |
| A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. | 0 | 0.34 | 2019 |
| Towards Bit-Width-Independent Proofs in SMT Solvers. | 1 | 0.36 | 2019 |
| Extending enumerative function synthesis via SMT-driven classification | 0 | 0.34 | 2019 |
| Deduction Beyond Satisfiability (Dagstuhl Seminar 19371). | 0 | 0.34 | 2019 |
| Refutation-based synthesis in SMT | 4 | 0.47 | 2019 |
| Cvc4sy: Smart And Fast Term Enumeration For Syntax-Guided Synthesis | 3 | 0.39 | 2019 |
| Extending SMT Solvers to Higher-Order Logic. | 1 | 0.35 | 2019 |
| High-Level Abstractions For Simplifying Extended String Constraints In Smt | 1 | 0.36 | 2019 |
| 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 |
| Datatypes with Shared Selectors. | 1 | 0.35 | 2018 |
| Constraint Solving for Finite Model Finding in SMT Solvers. | 0 | 0.34 | 2017 |
| Qualification of a Model Checker for Avionics Software Verification. | 0 | 0.34 | 2017 |
| Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371). | 0 | 0.34 | 2017 |
| Designing Theory Solvers with Extensions. | 4 | 0.41 | 2017 |
| Some advances in tools and algorithms for the construction and analysis of systems. | 0 | 0.34 | 2017 |
| A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT. | 7 | 0.46 | 2017 |
| Sygus Techniques In The Core Of An Smt Solver | 0 | 0.34 | 2017 |
| Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015). | 0 | 0.34 | 2017 |
| Relational Constraint Solving in SMT. | 2 | 0.35 | 2017 |
| Efficient solving of string constraints for security analysis. | 1 | 0.35 | 2016 |
| Model Finding for Recursive Functions in SMT. | 5 | 0.42 | 2016 |
| Extending Smtcoq, A Certified Checker For Smt | 1 | 0.35 | 2016 |
| An efficient SMT solver for string constraints. | 4 | 0.41 | 2016 |
| Lazy proofs for DPLL(T)-based SMT solvers. | 1 | 0.35 | 2016 |
| The Kind 2 Model Checker | 10 | 0.55 | 2016 |
| Proof certificates for SMT-based model checkers for infinite-state systems. | 0 | 0.34 | 2016 |
| Counterexample-Guided Quantifier Instantiation for Synthesis in SMT. | 0 | 0.34 | 2015 |
| An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic | 12 | 0.61 | 2015 |
| Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors. | 3 | 0.41 | 2015 |
| Counterexample-Guided Quantifier Instantiation For Synthesis In Smt | 30 | 0.91 | 2015 |
| A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings. | 5 | 0.41 | 2015 |
| Finding conflicting instances of quantified formulas in SMT | 15 | 0.60 | 2014 |
| A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors. | 2 | 0.36 | 2014 |
