Publications

International conferences

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

2026 Daniel Crowley, Yakoub Salhi, Proof Systems Supporting Qualitative Reasoning in ACM/SIGAPP Symposium on Applied Computing,pp. 980-982, 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.