Sulian Le Bozec-Chiffoleau
100
%
Libre accès
7
Documents
Affiliations actuelles
- IMT Atlantique (IMT Atlantique)
- Laboratoire des Sciences du Numérique de Nantes (LS2N)
- Département Automatique, Productique et Informatique (IMT Atlantique - DAPI)
- Théorie, Algorithmes et Systèmes en Contraintes (LS2N - équipe TASC)
Identifiants chercheurs
Domaines de recherche
Informatique [cs]
Intelligence artificielle [cs.AI]
Publications
Publications
|
|
Weak power dominationAnnals of Operations Research, 2025, ⟨10.1007/s10479-025-06831-1⟩ |
|
|
Bimodal Depth-First Search for Scalable GAC for AllDifferentIJCAI-25: Thirty-Fourth International Joint Conference on Artificial Intelligence, Aug 2025, Montreal, Canada. pp.2610-2618, ⟨10.24963/ijcai.2025/291⟩ |
|
|
Towards the 30 by 30 Kunming-Montreal global biodiversity framework target : optimising graph connectivity in constraint-based spatial planningIJCAI 2025 - International Joint Conference on Artificial Intelligence AI and Social Good, Aug 2025, Montréal, Canada. pp.9772-9780, ⟨10.24963/ijcai.2025/1086⟩ |
|
|
Polynomial Time Presolve Algorithms for Rotation-Based Models Solving the Robust Stable Matching ProblemIJCAI 2024: Thirty-Third International Joint Conference on Artificial Intelligence, Aug 2024, Jeju, South Korea. pp.2860-2867, ⟨10.24963/ijcai.2024/317⟩ |
|
|
Biclique Factorisation of Explanations for a Sparser Implication Graph in Lazy Clause GenerationIMT ATLANTIQUE; LS2N. 2026 |
|
|
Technical Appendix for Bimodal Depth-First Search for Scalable GAC for AllDifferentIMT Atlantique. 2025, 5 p |
|
|
Technical Appendix for Polynomial Time Presolve Algorithms for Rotation-Based Models Solving the Robust Stable Matching ProblemIMT Atlantique. 2024 |
Chargement...
Chargement...