Christophe Vauthier

According to our database¹, Christophe Vauthier authored at least 4 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

The QSMA Algorithm for Quantifiers in SMT.

[BibT_eX]

[DOI]

J. Autom. Reason., June, 2025

Flowing Datasets with Wasserstein over Wasserstein Gradient Flows.

[BibT_eX]

[DOI]

CoRR, June, 2025

Properties of Wasserstein Gradient Flows for the Sliced-Wasserstein Distance.

[BibT_eX]

[DOI]

CoRR, February, 2025

2023

QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 29, 2023