Charles Prud'homme
Publications
Publications
|
|
Optimisation des plannings hospitaliers du personnel non médical pendant la phase opérationnelle offlineROADEF 2026, Université de Tours [UT], Feb 2026, Tours, France |
|
|
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⟩ |
|
|
Optimisation de la maintenance en ligne aéronautique par un modèle de programmation par contraintesCongrès Lambda Mu 24, Institut pour la Maîtrise des Risques (IMdR), Oct 2024, Bourges, France |
|
|
Un modèle de programmation par contraintes pour la maintenance opérationnelle aéronautiqueJFPC 2024 - Journées Francophones de Programmation par Contraintes, Centre de Recherche en Informatique de Lens, Jun 2024, Lens, France. 3 p |
|
|
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⟩ |
|
|
Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case StudySANER 2024: IEEE International Conference on Software Analysis, Evolution and Reengineering, Mar 2024, Rovaniemi, Finland. pp.1-11, ⟨10.1109/SANER60148.2024.00007⟩ |
|
|
SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized ControllersSEAMS 2023: IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2023, Melbourne, Australia. pp.25-31, ⟨10.1109/SEAMS59076.2023.00014⟩ |
|
|
Guiding Backtrack Search by Tracking Variables During Constraint PropagationInternational Conference on Principles and Practice of Constraint Programming (CP'23), 2023, Toronto ( CA ), Canada. ⟨10.4230/LIPIcs.CP.2023.9⟩ |
|
|
New Algorithm for Exhausting Optimal Permutations for Generalized Feistel NetworksINDOCRYPT 2022: 23rd International Conference on Cryptology in India, Dec 2022, Kolkata, India. pp.103-124, ⟨10.1007/978-3-031-22912-1_5⟩ |
|
|
Diffusion totale dans le schéma de Feistel généraliséROADEF 2022 : 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France |
|
|
Efficient Methods to Search for Best Differential Characteristics on SKINNYACNS 2021 - 19th International Conference on Applied Cryptography and Network Security, Jun 2021, Kamakura, Japan. pp.184-207, ⟨10.1007/978-3-030-78375-4_8⟩ |
|
|
Tirage de solutions par ajout de contraintes tables aléatoiresJournées Francophones de Programmation par Contraintes, Jun 2021, Nice, France |
Solution sampling with random table constraintsCP 2021: 27th International Conference on Principles and Practice of Constraint Programming, Oct 2021, Montpellier (en ligne), France. pp.56:1--56:17, ⟨10.4230/LIPIcs.CP.2021.56⟩ |
|
|
|
A Simpler Model for Recovering Superpoly on TriviumSAC 2021: International Conference on Selected Areas in Cryptography, Sep 2021, Victoria, British-Columbia, Canada. pp.266-285, ⟨10.1007/978-3-030-99277-4_13⟩ |
|
|
Conflict analysis in CP solving: Explanation generation from constraint decompositionCP 2020: 26th International Conference on Principles and Practice of Constraint Programming: Workshop: From Constraint Programming to Trustworthy AI, Sep 2020, Louvain-la-Neuve, Belgium |
|
|
Service Placement in Fog Computing Using Constraint ProgrammingSCC 2019 : IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.19-27, ⟨10.1109/SCC.2019.00017⟩ |
|
|
Efficient Resource Allocation for Multi-tenant Monitoring of Edge InfrastructuresPDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavie, Italy. pp.1-8, ⟨10.1109/EMPDP.2019.8671621⟩ |
|
|
Making the first solution good!ICTAI 2017 : 29th IEEE International Conference on Tools with Artificial Intelligence, Nov 2017, Boston, MA, United States. ⟨10.1109/ICTAI.2017.00164⟩ |
|
|
Range-Consistent Forbidden Regions of Allen’s RelationsCPAIOR 2017 : 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, Jun 2017, Padoue, Italy. pp.21-29, ⟨10.1007/978-3-319-59776-8_2⟩ |
|
|
Using Constraint Programming for the Urban Transit Crew Rescheduling ProblemPrinciples and Practice of Constraint Programming, Sep 2016, Toulouse, France. pp.636 - 649, ⟨10.1007/978-3-319-44953-1_40⟩ |
A Modelling Pearl with Sortedness ConstraintsGlobal conference on artificial intelligence, Oct 2015, Tbilisi, Georgia |
|
|
|
A Global Constraint for a Tractable Class of Temporal Optimization ProblemsPrinciples and Practice of Constraint Programming, CP 2015, Aug 2015, Cork, Ireland. ⟨10.1007/978-3-319-23219-5_8⟩ |
|
|
Prototyper des Moteurs de Propagation avec un DSLJournées française de la Programmation par Contraintes, 2013, Aix-en-Provence, France. pp.279-288 |
|
|
Combining finite and continuous solvers Towards a simpler solver maintenanceThe 19th International Conference on Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. TRICS'13 Workshop: Techniques foR Implementing Constraint programming Systems |
Heuristique pour un problème de tournées d'hélicoptère de type pickup and deliveryROADEF'05, Feb 2005, Tours, France |
|
|
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 |
|
|
Linear Time Computation of Variation Degree and Commonalities on Feature DiagramsRR-2023-01-DAPI, Nantes Université, École Centrale Nantes, IMT Atlantique, CNRS, LS2N, UMR 6004, F-44000 Nantes, France. 2023 |
|
|
A Framework for Edge Infrastructures Monitoring[Research Report] RR-9215, Orange Labs; Inria Nancy - Grand Est; IMT-Atlantique. 2018, pp.1-14 |
|
|
Contrôle de la propagation et de la recherche dans un solveur de contraintesIntelligence artificielle [cs.AI]. Ecole des Mines de Nantes, 2014. Français. ⟨NNT : 2014EMNA0194⟩ |