EasyChair Smart SlideUser guide
Author: Stéphane Graham-Lengrand

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

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search

Enrico Lipparini, Thomas Hader, Ahmed Irfan and Stéphane Graham-Lengrand

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search.

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search.

Enrico Lipparini, Thomas Hader, Ahmed Irfan and Stéphane Graham-Lengrand

Arrays Reasoning in MCSat

Arrays Reasoning in MCSat

Ahmed Irfan and Stephane Graham-Lengrand

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

Proofs in conflict-driven theory combination

Proofs in conflict-driven theory combination

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

Centralizing Equality Reasoning in MCSAT

Centralizing Equality Reasoning in MCSAT

François Bobot, Stéphane Graham-Lengrand, Bruno Marre and Guillaume Bury

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