SMT@CAV

Publications

2024

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

volume 3725, 2024

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. SMT@CAV 3725 (2024)