Anthony Blomme 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
2026 Anthony Blomme, Sami Cherif, Said Jabbour, Lakhdar Sais, Compression des instances cryptographiques au format XNF in Journées Francophones de Programmation par Contraintes (JFPC 2026),2026.
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.