Anthony Blomme View the directory of former members
Personal Data
- poste 15 80 71
- blomme@cril.univ-artois.fr
Degree prepared or obtained while being at CRIL
- PhD thesis : Optimal and sub-optimal solutions explanation in Boolean setting 2023-12-18
Research Axis
- Constraints
Publications
International conferences
2024 Constraints Anthony Blomme, Daniel Berre, Anne Parrain, Olivier Roussel, Compressing UNSAT CDCL Trees with Caching in ICAART 2024: 16th International Conference on Agents and Artificial Intelligence,SCITEPRESS - Science and Technology Publications, vol. 3, pp. 792-799, 2024.
2023 Explainable AI Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel, Compressing UNSAT Search Trees with Caching in ICAART 2023 : 15th International Conference on Agents and Artificial Intelligence,vol. 3, pp. 358-365, 2023.
National conferences
2023 Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel, Compresser des arbres de recherche UNSAT à l’aide d’un système de cache in Journées Francophones de Programmation par Contraintes (JFPC'23),pp. 38-45, 2023.