Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Guillaume Bury, François Bobot |
Verifying Models with Dolmen. |
SMT |
2023 |
DBLP BibTeX RDF |
|
1 | Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown 0001 |
Exploiting Strict Constraints in the Cylindrical Algebraic Covering. |
SMT |
2023 |
DBLP BibTeX RDF |
|
1 | Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds 0001, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli |
Automatic Verification of SMT Rewrites in Isabelle/HOL. |
SMT |
2023 |
DBLP BibTeX RDF |
|
1 | Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand |
Automated Analysis of Halo2 Circuits. |
SMT |
2023 |
DBLP BibTeX RDF |
|
1 | Stéphane Graham-Lengrand, Mathias Preiner (eds.) |
Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023. |
SMT |
2023 |
DBLP BibTeX RDF |
|
1 | Jan Jakubuv, Mikolás Janota, Bartosz Piotrowski, Jelle Piepenbrock, Andrew Reynolds 0001 |
Selecting Quantifiers for Instantiation in SMT. |
SMT |
2023 |
DBLP BibTeX RDF |
|
1 | Michael Whalen |
Invited Talk: SAT and SMT Solving at Cloud Scale. |
SMT |
2023 |
DBLP BibTeX RDF |
|
1 | Romain Béguet, Raphaël Amiard |
Application of SMT in a Meta-Compiler: A Logic DSL for Specifying Type Systems. |
SMT |
2023 |
DBLP BibTeX RDF |
|
1 | Oded Padon |
Invited Talk: Deductive Verification of Distributed Protocols in Decidable Logics. |
SMT |
2023 |
DBLP BibTeX RDF |
|
1 | Christopher Lynch, Stephen Miner |
Complete Trigger Selection in Satisfiability Modulo First-Order Theories. |
SMT |
2023 |
DBLP BibTeX RDF |
|
1 | Joseph Scott, Guanting Pan, Elias B. Khalil, Vijay Ganesh |
Goose: A Meta-Solver for Deep Neural Network Verification. |
SMT |
2022 |
DBLP BibTeX RDF |
|
1 | Thomas Hader, Laura Kovács |
An SMT Approach for Solving Polynomials over Finite Fields. |
SMT |
2022 |
DBLP BibTeX RDF |
|
1 | Alessandro Cimatti, Alberto Griggio, Stefano Tonetta |
The VMT-LIB Language and Tools. |
SMT |
2022 |
DBLP BibTeX RDF |
|
1 | Chad E. Brown, Mikolás Janota, Cezary Kaliszyk |
Abstract: Challenges and Solutions for Higher-Order SMT Proofs. |
SMT |
2022 |
DBLP BibTeX RDF |
|
1 | Jochen Hoenicke, Tanja Schindler |
A Simple Proof Format for SMT. |
SMT |
2022 |
DBLP BibTeX RDF |
|
1 | Zafer Esen, Philipp Rümmer |
An SMT-LIB Theory of Heaps. |
SMT |
2022 |
DBLP BibTeX RDF |
|
1 | Lucas Clemente Vella, Leonardo Alt |
On Satisfiability of Polynomial Equations over Large Prime Fields. |
SMT |
2022 |
DBLP BibTeX RDF |
|
1 | Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács |
User-Propagators for Custom Theories in SMT Solving. |
SMT |
2022 |
DBLP BibTeX RDF |
|
1 | Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar |
CDSAT for Nondisjoint Theories with Shared Predicates: Arrays With Abstract Length. |
SMT |
2022 |
DBLP BibTeX RDF |
|
1 | David Déharbe, Antti E. J. Hyvärinen (eds.) |
Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022. |
SMT |
2022 |
DBLP BibTeX RDF |
|
1 | Aina Niemetz |
Invited Talk: Local Search for Bit-Precise Reasoning and Beyond. |
SMT |
2022 |
DBLP BibTeX RDF |
|
1 | Milan Bankovic, David Scepanovic |
Trail Saving in SMT. |
SMT |
2022 |
DBLP BibTeX RDF |
|
1 | Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais |
Abstract: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant. |
SMT |
2021 |
DBLP BibTeX RDF |
|
1 | Guy Katz |
Invited Talk: Using SMT and Abstraction-Refinement for Neural Network Verification. |
SMT |
2021 |
DBLP BibTeX RDF |
|
1 | Guillaume Bury |
Dolmen: A Validator for SMT-LIB and Much More. |
SMT |
2021 |
DBLP BibTeX RDF |
|
1 | Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler |
Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality. |
SMT |
2021 |
DBLP BibTeX RDF |
|
1 | Jan Jakubuv, Mikolás Janota, Andrew Reynolds 0001 |
Characteristic Subsets of SMT-LIB Benchmarks. |
SMT |
2021 |
DBLP BibTeX RDF |
|
1 | Chad E. Brown, Mikolás Janota |
First-Order Instantiation using Discriminating Terms. |
SMT |
2021 |
DBLP BibTeX RDF |
|
1 | François Bobot, Tjark Weber (eds.) |
Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Online (initially located in Paris, France), July 5-6, 2020. |
SMT |
2021 |
DBLP BibTeX RDF |
|
1 | Alexander Nadel, Aina Niemetz (eds.) |
Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021. |
SMT |
2021 |
DBLP BibTeX RDF |
|
1 | José Abel Castellanos Joo, Silvio Ghilardi, Alessandro Gianola, Deepak Kapur |
AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff. |
SMT |
2021 |
DBLP BibTeX RDF |
|
1 | Fabian Zaiser, Luke Ong |
Abstract: The Extended Theory of Trees and Algebraic (Co)datatypes. |
SMT |
2021 |
DBLP BibTeX RDF |
|
1 | Karem A. Sakallah |
Invited Talk: AVR: Word-Level Verification by Equality Abstraction of Data State. |
SMT |
2021 |
DBLP BibTeX RDF |
|
1 | Martin Brain |
Further Steps Down The Wrong Path: Improving the Bit-Blasting of Multiplication. |
SMT |
2021 |
DBLP BibTeX RDF |
|
1 | Mooly Sagiv |
Invited Talk: Harnessing SMT Solvers for Verifying Low Level Programs. |
SMT |
2020 |
DBLP BibTeX RDF |
|
1 | Bruno Dutertre |
An Empirical Evaluation of SAT Solvers on Bit-vector Problems. |
SMT |
2020 |
DBLP BibTeX RDF |
|
1 | Joseph Scott, Federico Mora, Vijay Ganesh |
Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers. |
SMT |
2020 |
DBLP BibTeX RDF |
|
1 | Philipp Rümmer |
Invited Talk: Solving String Constraints, Starting from the Beginning and from the End. |
SMT |
2020 |
DBLP BibTeX RDF |
|
1 | Sophie Tourret, Pascal Fontaine, Daniel El Ouraoui, Haniel Barbosa |
Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT Encoding. |
SMT |
2020 |
DBLP BibTeX RDF |
|
1 | Ákos Hajdu, Dejan Jovanovic |
Abstract: SMT-Friendly Formalization of the Solidity Memory Model. |
SMT |
2020 |
DBLP BibTeX RDF |
|
1 | Makai Mann, Amalee Wilson, Cesare Tinelli, Clark W. Barrett |
Smt-Switch: A Solver-agnostic C++ API for SMT Solving. |
SMT |
2020 |
DBLP BibTeX RDF |
|
1 | Seonmo Kim, Stephen McCamant |
Structural Bit-vector Model Counting. |
SMT |
2020 |
DBLP BibTeX RDF |
|
1 | Chaitanya Mangla, Sean B. Holden, Lawrence C. Paulson |
Bayesian Optimisation of Solver Parameters in CBMC. |
SMT |
2020 |
DBLP BibTeX RDF |
|
1 | Zafer Esen, Philipp Rümmer |
Abstract: Towards an SMT-LIB Theory of Heap. |
SMT |
2020 |
DBLP BibTeX RDF |
|
1 | Joseph Scott, Aina Niemetz, Mathias Preiner, Vijay Ganesh |
Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. |
SMT |
2020 |
DBLP BibTeX RDF |
|
1 | Dejan Jovanovic, Bruno Dutertre |
LibPoly: A Library for Reasoning about Polynomials. |
SMT |
2017 |
DBLP BibTeX RDF |
|
1 | Yakir Vizel, Alexander Nadel, Sharad Malik |
Solving Constraints over Bit-Vectors with SAT-based Model Checking. |
SMT |
2017 |
DBLP BibTeX RDF |
|
1 | François Bobot, Zakaria Chihani, Bruno Marre |
Real Behavior of Floating Point. |
SMT |
2017 |
DBLP BibTeX RDF |
|
1 | Andrew Reynolds 0001 |
Quantifier Instantiation Beyond E-Matching. |
SMT |
2017 |
DBLP BibTeX RDF |
|
1 | Gergely Kovásznai, Csaba Biró, Balazs Erdelyi |
Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers. |
SMT |
2017 |
DBLP BibTeX RDF |
|
1 | Martin Brain, Liana Hadarean (eds.) |
Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22 - 23, 2017. |
SMT |
2017 |
DBLP BibTeX RDF |
|
1 | Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina |
Visualising SMT-Based Parallel Constraint Solving. |
SMT |
2017 |
DBLP BibTeX RDF |
|
1 | Jochen Hoenicke, Tanja Schindler |
Efficient Interpolation for the Theory of Arrays. |
SMT |
2017 |
DBLP BibTeX RDF |
|
1 | Stéphane Graham-Lengrand, Dejan Jovanovic |
An MCSAT treatment of Bit-Vectors. |
SMT |
2017 |
DBLP BibTeX RDF |
|
1 | Aina Niemetz, Mathias Preiner, Armin Biere |
Model-Based API Testing for SMT Solvers. |
SMT |
2017 |
DBLP BibTeX RDF |
|
1 | Giles Reger, Martin Suda 0001, Andrei Voronkov |
Instantiation and Pretending to be an SMT Solver with Vampire. |
SMT |
2017 |
DBLP BibTeX RDF |
|
1 | James Davenport |
SMT Nonlinear Real Arithmetic and Computer Algebra: a Dialogue of the Deaf? |
SMT |
2017 |
DBLP BibTeX RDF |
|
1 | Francesco Alberti, Silvio Ghilardi, Natasha Sharygina |
Decision Procedures for Flat Array Properties. |
SMT |
2014 |
DBLP BibTeX RDF |
|
1 | Edmund S. L. Lam, Iliano Cervesato |
Reasoning About Set Comprehensions. |
SMT |
2014 |
DBLP BibTeX RDF |
|
1 | Konstantin Korovin, Marek Kosta, Thomas Sturm 0001 |
Towards Conflict-Driven Learning for Virtual Substitution. |
SMT |
2014 |
DBLP BibTeX RDF |
|
1 | Daniel J. Fremont, Sanjit A. Seshia |
Speeding Up SMT-Based Quantitative Program Analysis. |
SMT |
2014 |
DBLP BibTeX RDF |
|
1 | To Van Khanh, Xuan-Tung Vu, Mizuhito Ogawa |
raSAT: SMT for Polynomial Inequality. |
SMT |
2014 |
DBLP BibTeX RDF |
|
1 | Tim King 0001, Clark W. Barrett, Cesare Tinelli |
Leveraging Linear and Mixed Integer Programming for SMT. |
SMT |
2014 |
DBLP BibTeX RDF |
|
1 | Hristina Palikareva, Cristian Cadar |
Multi-solver Support in Symbolic Execution. |
SMT |
2014 |
DBLP BibTeX RDF |
|
1 | Mats Carlsson, Olga Grinchtein, Justin Pearson |
Protocol Log Analysis with Constraint Programming. |
SMT |
2014 |
DBLP BibTeX RDF |
|
1 | Philipp Rümmer, Christoph M. Wintersteiger (eds.) |
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), and the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), Vienna, Austria, July 17-18, 2014. |
SMT |
2014 |
DBLP BibTeX RDF |
|
1 | Richard Bonichon, David Déharbe, Cláudia Tavares |
Extending SMT-LIB v2 with λ-Terms and Polymorphism. |
SMT |
2014 |
DBLP BibTeX RDF |
|
1 | Guillaume Melquiond |
Automating the Verification of Floating-Point Algorithms. |
SMT |
2014 |
DBLP BibTeX RDF |
|
1 | Clark W. Barrett |
SMT: Where do we go from here? |
SMT |
2014 |
DBLP BibTeX RDF |
|
1 | Marek Kosta, Thomas Sturm 0001, Andreas Dolzmann |
Better Answers to Real Questions. |
SMT |
2014 |
DBLP BibTeX RDF |
|
1 | Jürgen Christ, Jochen Hoenicke |
Weakly Equivalent Arrays. |
SMT |
2014 |
DBLP BibTeX RDF |
|