default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSMT@CAV 2024: Montreal, Canada
- 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
- Sophie Tourret:
Invited Talk: The Hows and Whys of Higher-Order SMT. 1 - Mathias Preiner:
Challenges in Bit-Vector Reasoning. 2
Regular Papers
- Thomas Hader, Alex Ozdemir:
An SMT-LIB Theory of Finite Fields. 3-12 - Alessio Coltellacci, Stephan Merz, Gilles Dowek:
Reconstruction of SMT Proofs with Lambdapi. 13-23 - Ahmed Irfan, Stéphane Graham-Lengrand:
Arrays Reasoning in MCSat. 24-35
Extended Abstracts
- Arijit Shaw, Kuldeep S. Meel:
CSB: A Counting and Sampling Tool for Bit-vectors. 36-43 - Guillaume Bury:
Minimal Logic Detection and Exporting SMTLIB Problems with Dolmen. 44-52 - Max Barth, Matthias Heizmann:
A Bit-vector to Integer Translation with bv2nat and nat2bv. 53-63 - Hichem Rami Ait El Hara, François Bobot, Guillaume Bury:
An SMT theory for N-Indexed Sequences. 64-74
Presentation-Only Papers (Abstracts)
- 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
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.
last updated on 2025-03-10 20:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
