Conference: SMT 2024 (22nd International Workshop on Satisfiability Modulo Theories)

Conference: SMT 2024 (22nd International Workshop on Satisfiability Modulo Theories)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Reconstruction of SMT Proofs with Lambdapi

Reconstruction of SMT Proofs with Lambdapi

Alessio Coltellacci, Stephan Merz and Gilles Dowek

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

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

Guilherme Toledo, Yoni Zohar and Clark Barrett

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

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

Certifying Incremental SAT Solving

Certifying Incremental SAT Solving

Katalin Fazekas, Florian Pollitt, Mathias Fleury and Armin Biere

An SMT Theory for N-Indexed Sequences

An SMT Theory for N-Indexed Sequences

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

SMT-LIB Report

Clark Barrett, Pascal Fontaine and Cesare Tinelli

An SMT-LIB Theory of Finite Fields

An SMT-LIB Theory of Finite Fields

Thomas Hader and Alex Ozdemir

Arrays Reasoning in MCSat

Arrays Reasoning in MCSat

Ahmed Irfan and Stephane Graham-Lengrand

A Bit-Vector to Integer Translation with Bv2nat and Nat2bv

A Bit-Vector to Integer Translation with Bv2nat and Nat2bv

Max Barth and Matthias Heizmann

Presentations in this collection: 9