Publications

Articles de conférences internationales

2025 Contraintes Daniel Crowley, Daniel Le Berre, Olivier Roussel, Yakoub Salhi, A Framework for Hybrid Set-Theoretic and Numerical Problem Solving in ICTAI,2025.

Rapports techniques

2024 Daniel Crowley, Daniel Le Berre, Olivier Roussel, Yakoub Salhi, On Finding Counter-Models: Approach Based on Instantiating Abstract Sets 2024.