![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
SMT 2022: Haifa, Israel
- David Déharbe, Antti E. J. Hyvärinen:
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. CEUR Workshop Proceedings 3185, CEUR-WS.org 2022
Invited Talks
- Aina Niemetz:
Invited Talk: Local Search for Bit-Precise Reasoning and Beyond. 1
Regular Papers
- Milan Bankovic, David Scepanovic:
Trail Saving in SMT. 2-17 - Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar:
CDSAT for Nondisjoint Theories with Shared Predicates: Arrays With Abstract Length. 18-37 - Zafer Esen, Philipp Rümmer:
An SMT-LIB Theory of Heaps. 38-53 - Jochen Hoenicke, Tanja Schindler:
A Simple Proof Format for SMT. 54-70
Extended Abstracts
- Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács:
User-Propagators for Custom Theories in SMT Solving. 71-79 - Alessandro Cimatti, Alberto Griggio, Stefano Tonetta:
The VMT-LIB Language and Tools. 80-89 - Thomas Hader, Laura Kovács:
An SMT Approach for Solving Polynomials over Finite Fields. 90-98 - Joseph Scott, Guanting Pan, Elias B. Khalil, Vijay Ganesh:
Goose: A Meta-Solver for Deep Neural Network Verification. 99-113 - Lucas Clemente Vella, Leonardo Alt:
On Satisfiability of Polynomial Equations over Large Prime Fields. 114-127
Presentation-Only Papers (Abstracts)
- Chad E. Brown, Mikolás Janota, Cezary Kaliszyk:
Abstract: Challenges and Solutions for Higher-Order SMT Proofs. 128
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.