Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Guillaume Bury, François Bobot |
Verifying Models with Dolmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 62-70, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 33-45, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 78, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand |
Automated Analysis of Halo2 Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 3-17, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Jan Jakubuv, Mikolás Janota, Bartosz Piotrowski, Jelle Piepenbrock, Andrew Reynolds 0001 |
Selecting Quantifiers for Instantiation in SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 71-77, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Michael Whalen |
Invited Talk: SAT and SMT Solving at Cloud Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 2, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 46-61, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Oded Padon |
Invited Talk: Deductive Verification of Distributed Protocols in Decidable Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 1, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Christopher Lynch, Stephen Miner |
Complete Trigger Selection in Satisfiability Modulo First-Order Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 18-32, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Joseph Scott, Guanting Pan, Elias B. Khalil, Vijay Ganesh |
Goose: A Meta-Solver for Deep Neural Network Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 99-113, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Thomas Hader, Laura Kovács |
An SMT Approach for Solving Polynomials over Finite Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 90-98, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Alessandro Cimatti, Alberto Griggio, Stefano Tonetta |
The VMT-LIB Language and Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 80-89, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Chad E. Brown, Mikolás Janota, Cezary Kaliszyk |
Abstract: Challenges and Solutions for Higher-Order SMT Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 128, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Jochen Hoenicke, Tanja Schindler |
A Simple Proof Format for SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 54-70, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Zafer Esen, Philipp Rümmer |
An SMT-LIB Theory of Heaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 38-53, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Lucas Clemente Vella, Leonardo Alt |
On Satisfiability of Polynomial Equations over Large Prime Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 114-127, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács |
User-Propagators for Custom Theories in SMT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 71-79, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 18-37, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Aina Niemetz |
Invited Talk: Local Search for Bit-Precise Reasoning and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 1, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Milan Bankovic, David Scepanovic |
Trail Saving in SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 2-17, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais |
Abstract: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 64, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Guy Katz |
Invited Talk: Using SMT and Abstraction-Refinement for Neural Network Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 1, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Guillaume Bury |
Dolmen: A Validator for SMT-LIB and Much More. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 32-39, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler |
Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 3-16, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Jan Jakubuv, Mikolás Janota, Andrew Reynolds 0001 |
Characteristic Subsets of SMT-LIB Benchmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 53-63, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Chad E. Brown, Mikolás Janota |
First-Order Instantiation using Discriminating Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 17-22, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 40-52, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Fabian Zaiser, Luke Ong |
Abstract: The Extended Theory of Trees and Algebraic (Co)datatypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 65, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Karem A. Sakallah |
Invited Talk: AVR: Word-Level Verification by Equality Abstraction of Data State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 2, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Martin Brain |
Further Steps Down The Wrong Path: Improving the Bit-Blasting of Multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 23-31, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Mooly Sagiv |
Invited Talk: Harnessing SMT Solvers for Verifying Low Level Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 2, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Bruno Dutertre |
An Empirical Evaluation of SAT Solvers on Bit-vector Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 15-25, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Joseph Scott, Federico Mora, Vijay Ganesh |
Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 61, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Philipp Rümmer |
Invited Talk: Solving String Constraints, Starting from the Beginning and from the End. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 1, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 3-14, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Ákos Hajdu, Dejan Jovanovic |
Abstract: SMT-Friendly Formalization of the Solidity Memory Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 59, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Makai Mann, Amalee Wilson, Cesare Tinelli, Clark W. Barrett |
Smt-Switch: A Solver-agnostic C++ API for SMT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 48-58, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Seonmo Kim, Stephen McCamant |
Structural Bit-vector Model Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 26-36, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Chaitanya Mangla, Sean B. Holden, Lawrence C. Paulson |
Bayesian Optimisation of Solver Parameters in CBMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 37-47, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Zafer Esen, Philipp Rümmer |
Abstract: Towards an SMT-LIB Theory of Heap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 60, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Joseph Scott, Aina Niemetz, Mathias Preiner, Vijay Ganesh |
Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 62, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Dejan Jovanovic, Bruno Dutertre |
LibPoly: A Library for Reasoning about Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 28-39, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Yakir Vizel, Alexander Nadel, Sharad Malik |
Solving Constraints over Bit-Vectors with SAT-based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 101-107, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | François Bobot, Zakaria Chihani, Bruno Marre |
Real Behavior of Floating Point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 50-62, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Andrew Reynolds 0001 |
Quantifier Instantiation Beyond E-Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 2, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 15-27, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina |
Visualising SMT-Based Parallel Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 40-49, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Jochen Hoenicke, Tanja Schindler |
Efficient Interpolation for the Theory of Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 76-88, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Stéphane Graham-Lengrand, Dejan Jovanovic |
An MCSAT treatment of Bit-Vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 89-100, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Aina Niemetz, Mathias Preiner, Armin Biere |
Model-Based API Testing for SMT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 3-14, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Giles Reger, Martin Suda 0001, Andrei Voronkov |
Instantiation and Pretending to be an SMT Solver with Vampire. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 63-75, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | James Davenport |
SMT Nonlinear Real Arithmetic and Computer Algebra: a Dialogue of the Deaf? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 1, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Francesco Alberti, Silvio Ghilardi, Natasha Sharygina |
Decision Procedures for Flat Array Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 51, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Edmund S. L. Lam, Iliano Cervesato |
Reasoning About Set Comprehensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 27-37, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Konstantin Korovin, Marek Kosta, Thomas Sturm 0001 |
Towards Conflict-Driven Learning for Virtual Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 71, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Daniel J. Fremont, Sanjit A. Seshia |
Speeding Up SMT-Based Quantitative Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 3-13, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | To Van Khanh, Xuan-Tung Vu, Mizuhito Ogawa |
raSAT: SMT for Polynomial Inequality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 67, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Tim King 0001, Clark W. Barrett, Cesare Tinelli |
Leveraging Linear and Mixed Integer Programming for SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 65, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Hristina Palikareva, Cristian Cadar |
Multi-solver Support in Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 15, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Mats Carlsson, Olga Grinchtein, Justin Pearson |
Protocol Log Analysis with Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 17-26, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Richard Bonichon, David Déharbe, Cláudia Tavares |
Extending SMT-LIB v2 with λ-Terms and Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 53-62, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Guillaume Melquiond |
Automating the Verification of Floating-Point Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 63, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Clark W. Barrett |
SMT: Where do we go from here? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 1, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Marek Kosta, Thomas Sturm 0001, Andreas Dolzmann |
Better Answers to Real Questions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 69, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Jürgen Christ, Jochen Hoenicke |
Weakly Equivalent Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: 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., pp. 39-49, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|