![](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 2020: Virtual Event
- François Bobot, Tjark Weber:
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. CEUR Workshop Proceedings 2854, CEUR-WS.org 2021
Invited Talks
- Philipp Rümmer:
Invited Talk: Solving String Constraints, Starting from the Beginning and from the End. 1 - Mooly Sagiv:
Invited Talk: Harnessing SMT Solvers for Verifying Low Level Programs. 2
Contributed Papers
- Sophie Tourret, Pascal Fontaine, Daniel El Ouraoui, Haniel Barbosa:
Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT Encoding. 3-14 - Bruno Dutertre:
An Empirical Evaluation of SAT Solvers on Bit-vector Problems. 15-25 - Seonmo Kim, Stephen McCamant:
Structural Bit-vector Model Counting. 26-36 - Chaitanya Mangla, Sean B. Holden, Lawrence C. Paulson:
Bayesian Optimisation of Solver Parameters in CBMC. 37-47 - Makai Mann, Amalee Wilson, Cesare Tinelli, Clark W. Barrett:
Smt-Switch: A Solver-agnostic C++ API for SMT Solving. 48-58
Presentation-only Papers (Abstracts)
- Ákos Hajdu, Dejan Jovanovic:
Abstract: SMT-Friendly Formalization of the Solidity Memory Model. 59 - Zafer Esen, Philipp Rümmer:
Abstract: Towards an SMT-LIB Theory of Heap. 60 - Joseph Scott, Federico Mora, Vijay Ganesh:
Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers. 61 - Joseph Scott, Aina Niemetz, Mathias Preiner, Vijay Ganesh:
Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. 62
![](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.