Anthony Blomme - Postdoc
Coordonnées
- blomme@cril.fr
Diplôme en cours ou obtenu en étant au CRIL
- Thèse : Explications pour les solveurs SAT 2023-12-18
Publications
Articles de conférences internationales
2024 Contraintes 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 IA explicable 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.
Articles de conférences nationales
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.