Publications

International conferences

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

Technical reports

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