FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

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

Zafer Esen and Philipp Ruemmer
Total: 2 presentations.