SMT 2024: 22ND INTERNATIONAL WORKSHOP ON SATISFIABILITY MODULO THEORIES
SLIDES

An SMT Theory for N-Indexed Sequences

Hichem Rami Ait El Hara, François Bobot and Guillaume Bury

Certifying Incremental SAT Solving

Katalin Fazekas, Florian Pollitt, Mathias Fleury and Armin Biere

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis [Presentation Only]

Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel Day, Florin Manea and Vijay Ganesh

Reconstruction of SMT Proofs with Lambdapi

Alessio Coltellacci, Stephan Merz and Gilles Dowek

An SMT-LIB Theory of Finite Fields

Thomas Hader and Alex Ozdemir

Combining Combination Properties: an Analysis of Stable Infiniteness, Convexity, and Politeness

Guilherme Toledo, Yoni Zohar and Clark Barrett

A Bit-Vector to Integer Translation with Bv2nat and Nat2bv

Max Barth and Matthias Heizmann

SMT-LIB Report

Clark Barrett, Pascal Fontaine and Cesare Tinelli

Arrays Reasoning in MCSat

Ahmed Irfan and Stephane Graham-Lengrand
Total: 9 presentations.