Sulian Le Bozec-Chiffoleau

Identifiants chercheurs

IdHAL :

sulian-le-bozec-chiffoleau

ORCID :

0000-0002-0303-1924

Publications

Article dans une revue (1)

Weak power domination Jean-François Dumollard,Sulian Le Bozec-Chiffoleau,José Neto Annals of Operations Research, 2025, ⟨10.1007/s10479-025-06831-1⟩ Article dans une revue hal-05287104v1

Communication dans un congrès (3)

Bimodal Depth-First Search for Scalable GAC for AllDifferent Sulian Le Bozec-Chiffoleau,Nicolas Beldiceanu,Charles Prud'Homme,Gilles Simonin,Xavier Lorca IJCAI-25: Thirty-Fourth International Joint Conference on Artificial Intelligence, Aug 2025, Montreal, Canada. pp.2610-2618, ⟨10.24963/ijcai.2025/291⟩ Communication dans un congrès hal-05283980v1
Towards the 30 by 30 Kunming-Montreal global biodiversity framework target : optimising graph connectivity in constraint-based spatial planning Sulian Le Bozec-Chiffoleau,Dimitri Justeau-Allaire,Xavier Lorca,Charles Prud'Homme,Gilles Simoninet al. IJCAI 2025 - International Joint Conference on Artificial Intelligence AI and Social Good, Aug 2025, Montréal, Canada. pp.9772-9780, ⟨10.24963/ijcai.2025/1086⟩ Communication dans un congrès hal-05273525v1
Polynomial Time Presolve Algorithms for Rotation-Based Models Solving the Robust Stable Matching Problem Sulian Le Bozec-Chiffoleau,Charles Prud'Homme,Gilles Simonin IJCAI 2024: Thirty-Third International Joint Conference on Artificial Intelligence, Aug 2024, Jeju, South Korea. pp.2860-2867, ⟨10.24963/ijcai.2024/317⟩ Communication dans un congrès hal-04716981v1

Rapport (3)

Biclique Factorisation of Explanations for a Sparser Implication Graph in Lazy Clause Generation Sulian Le Bozec-Chiffoleau,Charles Prud'Homme IMT ATLANTIQUE; LS2N. 2026 Rapport hal-05537266v1
Technical Appendix for Bimodal Depth-First Search for Scalable GAC for AllDifferent Sulian Le Bozec-Chiffoleau,Charles Prud'Homme,Xavier Lorca,Gilles Simonin,Nicolas Beldiceanu IMT Atlantique. 2025, 5 p Rapport (rapport technique) hal-05062193v2
Technical Appendix for Polynomial Time Presolve Algorithms for Rotation-Based Models Solving the Robust Stable Matching Problem Sulian Le Bozec-Chiffoleau,Charles Prud'Homme,Gilles Simonin IMT Atlantique. 2024 Rapport hal-04569962v2