Anthony Blomme Annuaire des anciens membres
Coordonnées
- poste 15 80 71
- blomme@cril.univ-artois.fr
Diplôme en cours ou obtenu en étant au CRIL
- Thèse : Explications pour les solveurs SAT 2023-12-18
Axe de recherche
- Contraintes
Publications
Articles de conférences internationales
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 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.