Publications

International conferences

2026 Daniel Crowley, Daniel Le Berre, Yakoub Salhi, Not All Countermodels Are Equal in ICAART,vol. 4, pp. 3028-3035, 2026.

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.