QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment. - Maria Paola Bonacina; Stéphane Graham-Lengrand; Christophe Vauthier (CADE, 2023)

Properties of Wasserstein Gradient Flows for the Sliced-Wasserstein Distance. - Christophe Vauthier; Quentin Mérigot; Anna Korba (CoRR, 2025)

Flowing Datasets with Wasserstein over Wasserstein Gradient Flows. - Clément Bonet; Christophe Vauthier; Anna Korba (CoRR, 2025)

The QSMA Algorithm for Quantifiers in SMT. - Maria Paola Bonacina; Stéphane Graham-Lengrand; Christophe Vauthier (J. Autom. Reason., 2025)