default search action

combined dblp search
author search
venue search
publication search

ask others

SMT 2022: Haifa, Israel

> Home > Conferences and Workshops > SMT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/smt/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/2022
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

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/Niemetz22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/Niemetz22
Aina Niemetz:
Invited Talk: Local Search for Bit-Precise Reasoning and Beyond. 1

Regular Papers

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/BankovicS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/BankovicS22
Milan Bankovic, David Scepanovic:
Trail Saving in SMT. 2-17
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/BonacinaGS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/BonacinaGS22
Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar:
CDSAT for Nondisjoint Theories with Shared Predicates: Arrays With Abstract Length. 18-37
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/EsenR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/EsenR22
Zafer Esen, Philipp Rümmer:
An SMT-LIB Theory of Heaps. 38-53
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/HoenickeS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/HoenickeS22
Jochen Hoenicke, Tanja Schindler:
A Simple Proof Format for SMT. 54-70

Extended Abstracts

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/BjornerEK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/BjornerEK22
Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács:
User-Propagators for Custom Theories in SMT Solving. 71-79
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/CimattiGT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/CimattiGT22
Alessandro Cimatti, Alberto Griggio, Stefano Tonetta:
The VMT-LIB Language and Tools. 80-89
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/HaderK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/HaderK22
Thomas Hader, Laura Kovács:
An SMT Approach for Solving Polynomials over Finite Fields. 90-98
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/ScottPKG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/ScottPKG22
Joseph Scott, Guanting Pan, Elias B. Khalil, Vijay Ganesh:
Goose: A Meta-Solver for Deep Neural Network Verification. 99-113
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/VellaA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/VellaA22
Lucas Clemente Vella, Leonardo Alt:
On Satisfiability of Polynomial Equations over Large Prime Fields. 114-127

Presentation-Only Papers (Abstracts)

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/BrownJK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/BrownJK22
Chad E. Brown, Mikolás Janota, Cezary Kaliszyk:
Abstract: Challenges and Solutions for Higher-Order SMT Proofs. 128

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.