EasyChair Smart SlideUser guide
Conference: SMT 2022 (20th International Workshop on Satisfiability Modulo Theories)

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

CDSAT for Nondisjoint Theories with Shared Predicates: Arrays with Abstract Length

CDSAT for Nondisjoint Theories with Shared Predicates: Arrays with Abstract Length

Maria Paola Bonacina, Stéphane Graham-Lengrand and Natarajan Shankar

An SMT-Lib Theory of Heaps

An SMT-Lib Theory of Heaps

Zafer Esen and Philipp Ruemmer

A Simple Proof Format for SMT

A Simple Proof Format for SMT

Jochen Hoenicke and Tanja Schindler

On Satisfiability of Polynomial Equations over Large Prime Fields

On Satisfiability of Polynomial Equations over Large Prime Fields

Lucas Vella and Leonardo Alt

Presentations in this collection: 4
Copyright © 2002 – 2026 EasyChair