Original: https://ceur-ws.org/Vol-3725/ | Mirror: https://ceur-ws.wikidata.dbis.rwth-aachen.de/Vol-3725/ | Year: 2024

Vol-3725
urn:nbn:de:0074-3725-4

Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under https://creativecommons.org/licenses/by/4.0/.

SMT 2024

Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories
co-located with CAV 2024

Montreal, Canada, July, 22-23, 2024.

Edited by

Giles Reger
Yoni Zohar

Table of Contents

PDF
Invited Talk: The Hows and Whys of Higher-Order SMT 1-1 PDF
Sophie Tourret
Challenges in Bit-Vector Reasoning 2-2 PDF
Mathias Preiner
An SMT-LIB Theory of Finite Fields 3-12 PDF
Alex Ozdemir, Thomas Hader
Reconstruction of SMT Proofs with Lambdapi 13-23 PDF
Alessio Coltellacci, Gilles Dowek, Stephan Merz
Arrays Reasoning in MCSat 24-35 PDF
Stéphane Lengrand, Ahmed Irfan
CSB: A Counting and Sampling Tool for Bit-vectors 36-43 PDF
Kuldeep S. Meel, Arijit Shaw
Minimal Logic Detection and Exporting SMTLIB Problems with Dolmen 44-52 PDF
Guillaume Bury
A Bit-vector to Integer Translation with bv2nat and nat2bv 53-63 PDF
Max Barth, Matthias Heizmann
An SMT theory for N-Indexed Sequences 64-74 PDF
Guillaume Bury, Hichem Rami Ait El Hara, François Bobot
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis 75-75 PDF
Joel D. Day, Vijay Ganesh 0001, Florin Manea, Piyush Jha, Stefan Siemer, Zhengyang Lu 0002
PDF
PDF

2024-07-11: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|