EasyChair Smart SlideUser guide
Author: Maria Paola Bonacina

This page shows all presentations of this author published in EasyChair Smart Slide.

QSMA: a New Algorithm for Quantified Satisfiability Modulo Theory and Assignment

QSMA: a New Algorithm for Quantified Satisfiability Modulo Theory and Assignment

Maria Paola Bonacina, Stéphane Graham-Lengrand and Christophe Vauthier

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

On SGGS and Horn Clauses

On SGGS and Horn Clauses

Maria Paola Bonacina and Sarah Winkler

SGGS Decision Procedures

SGGS Decision Procedures

Maria Paola Bonacina and Sarah Winkler

Proofs in conflict-driven theory combination

Proofs in conflict-driven theory combination

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

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