Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

SMT@CAV 2024: Montreal, Canada

> Home > Conferences and Workshops > SMT
> Home > Conferences and Workshops > CAV

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/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/2024
Giles Reger, Yoni Zohar:
Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), Montreal, Canada, July, 22-23, 2024. CEUR Workshop Proceedings 3725, CEUR-WS.org 2024

Invited Talks

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/Tourret24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/Tourret24
Sophie Tourret:
Invited Talk: The Hows and Whys of Higher-Order SMT. 1
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/Preiner24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/Preiner24
Mathias Preiner:
Challenges in Bit-Vector Reasoning. 2

Regular Papers

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/HaderO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/HaderO24
Thomas Hader, Alex Ozdemir:
An SMT-LIB Theory of Finite Fields. 3-12
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/ColtellacciMD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/ColtellacciMD24
Alessio Coltellacci, Stephan Merz, Gilles Dowek:
Reconstruction of SMT Proofs with Lambdapi. 13-23
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/IrfanG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/IrfanG24
Ahmed Irfan, Stéphane Graham-Lengrand:
Arrays Reasoning in MCSat. 24-35

Extended Abstracts

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/ShawM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/ShawM24
Arijit Shaw, Kuldeep S. Meel:
CSB: A Counting and Sampling Tool for Bit-vectors. 36-43
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/Bury24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/Bury24
Guillaume Bury:
Minimal Logic Detection and Exporting SMTLIB Problems with Dolmen. 44-52
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/BarthH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/BarthH24
Max Barth, Matthias Heizmann:
A Bit-vector to Integer Translation with bv2nat and nat2bv. 53-63
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/HaraBB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/HaraBB24
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury:
An SMT theory for N-Indexed Sequences. 64-74

Presentation-Only Papers (Abstracts)

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/LuSJDM024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/LuSJDM024
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh:
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. 75

a service of

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.