Publications

International conferences

2024 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.