Charles Prud'homme Assistant Professor at IMT Atlantique, LS2N Ph.D.

Identifiants chercheurs

IdHAL :

charles-prudhomme

ORCID :

0000-0002-4546-9027

IdRef :

180268791

Publications

Communication dans un congrès (27)

Optimisation des plannings hospitaliers du personnel non médical pendant la phase opérationnelle offline Amira Mastouri,Odile Bellenguez,Charles Prud'Homme ROADEF 2026, Université de Tours [UT], Feb 2026, Tours, France Communication dans un congrès hal-05534955v1
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
Optimisation de la maintenance en ligne aéronautique par un modèle de programmation par contraintes Jean-Baptiste Sciau,Agathe Goyon,Alexandre Sarazin,Jérémy Bascans,Charles Prud'Hommeet al. Congrès Lambda Mu 24, Institut pour la Maîtrise des Risques (IMdR), Oct 2024, Bourges, France Communication dans un congrès hal-05000976v1
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
Un modèle de programmation par contraintes pour la maintenance opérationnelle aéronautique Jean-Baptiste Sciau,Agathe Goyon,Alexandre Sarazin,Jérémy Bascans,Charles Prud'Hommeet al. JFPC 2024 - Journées Francophones de Programmation par Contraintes, Centre de Recherche en Informatique de Lens, Jun 2024, Lens, France. 3 p Communication dans un congrès hal-04652791v1
Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study Jolan Philippe,Antoine Omond,Hélène Coullon,Charles Prud'Homme,Issam Raïs SANER 2024: IEEE International Conference on Software Analysis, Evolution and Reengineering, Mar 2024, Rovaniemi, Finland. pp.1-11, ⟨10.1109/SANER60148.2024.00007⟩ Communication dans un congrès hal-04457484v1
SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized Controllers Abdelghani Alidra,Hugo Bruneliere,Hélène Coullon,Thomas Ledoux,Charles Prud'Hommeet al. SEAMS 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⟩ Communication dans un congrès hal-04043471v1
Guiding Backtrack Search by Tracking Variables During Constraint Propagation Gilles Audemard,Christophe Lecoutre,Charles Prud'Homme International Conference on Principles and Practice of Constraint Programming (CP'23), 2023, Toronto ( CA ), Canada. ⟨10.4230/LIPIcs.CP.2023.9⟩ Communication dans un congrès hal-04220560v1
New Algorithm for Exhausting Optimal Permutations for Generalized Feistel Networks Stéphanie Delaune,Patrick Derbez,Arthur Gontier,Charles Prud'Homme INDOCRYPT 2022: 23rd International Conference on Cryptology in India, Dec 2022, Kolkata, India. pp.103-124, ⟨10.1007/978-3-031-22912-1_5⟩ Communication dans un congrès hal-03927074v1
Diffusion totale dans le schéma de Feistel généralisé Stéphanie Delaune,Patrick Derbez,Arthur Michel Gontier,Charles Prud'Homme 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 Communication dans un congrès hal-03595277v1
Vues de domaine globales Dimitri Justeau-Allaire,Charles Prud'Homme Journées Francophones de Programmation par Contrainte, Jun 2022, Saint Etienne, France. pp.23-23 Communication dans un congrès hal-05246444v1
Efficient Methods to Search for Best Differential Characteristics on SKINNY Stéphanie Delaune,Patrick Derbez,Paul Huynh,Marine Minier,Victor Mollimardet al. ACNS 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⟩ Communication dans un congrès hal-03040548v2
Tirage de solutions par ajout de contraintes tables aléatoires Mathieu Vavrille,Charlotte Truchet,Charles Prud'Homme Journées Francophones de Programmation par Contraintes, Jun 2021, Nice, France Communication dans un congrès hal-03776147v1
Solution sampling with random table constraints Mathieu Vavrille,Charlotte Truchet,Charles Prud'Homme CP 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⟩ Communication dans un congrès hal-03776130v1
A Simpler Model for Recovering Superpoly on Trivium Stéphanie Delaune,Patrick Derbez,Arthur Gontier,Charles Prud'Homme SAC 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⟩ Communication dans un congrès hal-03534492v1
Conflict analysis in CP solving: Explanation generation from constraint decomposition Arthur Gontier,Charlotte Truchet,Charles Prud'Homme CP 2020: 26th International Conference on Principles and Practice of Constraint Programming: Workshop: From Constraint Programming to Trustworthy AI, Sep 2020, Louvain-la-Neuve, Belgium Communication dans un congrès hal-03179630v1
Service Placement in Fog Computing Using Constraint Programming Farah Ait Salaht,Frédéric Desprez,Adrien Lebre,Charles Prud'Homme,Mohamed Abderrahim SCC 2019 : IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.19-27, ⟨10.1109/SCC.2019.00017⟩ Communication dans un congrès hal-02108806v1
Efficient Resource Allocation for Multi-tenant Monitoring of Edge Infrastructures Mohamed Abderrahim,Meryem Ouzzif,Karine Guillouard,Jérôme François,Adrien Lebreet al. PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavie, Italy. pp.1-8, ⟨10.1109/EMPDP.2019.8671621⟩ Communication dans un congrès hal-01987946v1
Making the first solution good! Jean-Guillaume Fages,Charles Prud'Homme ICTAI 2017 : 29th IEEE International Conference on Tools with Artificial Intelligence, Nov 2017, Boston, MA, United States. ⟨10.1109/ICTAI.2017.00164⟩ Communication dans un congrès hal-01629182v1
Range-Consistent Forbidden Regions of Allen’s Relations Nicolas Beldiceanu,Mats Carlsson,Alban Derrien,Charles Prud'Homme,Andreas Schuttet al. CPAIOR 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⟩ Communication dans un congrès hal-01686406v1
Using Constraint Programming for the Urban Transit Crew Rescheduling Problem Xavier Lorca,Charles Prud'Homme,Aurélien Questel,Benoît Rottembourg Principles and Practice of Constraint Programming, Sep 2016, Toulouse, France. pp.636 - 649, ⟨10.1007/978-3-319-44953-1_40⟩ Communication dans un congrès hal-01436288v1
A Global Constraint for a Tractable Class of Temporal Optimization Problems Alban Derrien,Jean-Guillaume Fages,Thierry Petit,Charles Prud'Homme Principles and Practice of Constraint Programming, CP 2015, Aug 2015, Cork, Ireland. ⟨10.1007/978-3-319-23219-5_8⟩ Communication dans un congrès hal-01241079v1
A Modelling Pearl with Sortedness Constraints Nicolas Beldiceanu,Mats Carlsson,Pierre Flener,Xavier Lorca,Justin Pearsonet al. Global conference on artificial intelligence, Oct 2015, Tbilisi, Georgia Communication dans un congrès hal-01186680v1
Combining finite and continuous solvers Towards a simpler solver maintenance Jean-Guillaume Fages,Gilles Chabert,Charles Prud'Homme The 19th International Conference on Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. TRICS'13 Workshop: Techniques foR Implementing Constraint programming Systems Communication dans un congrès hal-00904069v1
Prototyper des Moteurs de Propagation avec un DSL Charles Prud'Homme,Xavier Lorca,Rémi Douence,Narendra Jussien Journées française de la Programmation par Contraintes, 2013, Aix-en-Provence, France. pp.279-288 Communication dans un congrès hal-00867713v1
Heuristique pour un problème de tournées d'hélicoptère de type pickup and delivery Charles Prud'Homme,Pierre Dejax,Christelle Gueret,Nubia Velasco ROADEF'05, Feb 2005, Tours, France Communication dans un congrès hal-00363157v1

Rapport (5)

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
Linear Time Computation of Variation Degree and Commonalities on Feature Diagrams Mathieu Vavrille,Erwan Meunier,Charlotte Truchet,Charles Prud'Homme RR-2023-01-DAPI, Nantes Université, École Centrale Nantes, IMT Atlantique, CNRS, LS2N, UMR 6004, F-44000 Nantes, France. 2023 Rapport (rapport de recherche) hal-03970237v1
A Framework for Edge Infrastructures Monitoring Mohamed Abderrahim,Meryem Ouzzif,Karine Guillouard,Jérôme François,Xavier Lorcaet al. [Research Report] RR-9215, Orange Labs; Inria Nancy - Grand Est; IMT-Atlantique. 2018, pp.1-14 Rapport (rapport de recherche) hal-01897570v3

Article dans une revue (8)

pychoco : all-inclusive Python bindings for the Choco-solver constraint programming library Dimitri Justeau-Allaire,Charles Prud'Homme Journal of Open Source Software, 2025, 10 (113), 8847 [5 p.]. ⟨10.21105/joss.08847⟩ Article dans une revue hal-05360978v1
Using constraint programming to address the operational aircraft line maintenance scheduling problem Jean-Baptiste Sciau,Agathe Goyon,Alexandre Sarazin,Jérémy Bascans,Charles Prud’hommeet al. Journal of Air Transport Management, 2024, 115, pp.102537. ⟨10.1016/j.jairtraman.2024.102537⟩ Article dans une revue hal-04411305v1
Global domain views for expressive and cross-domain constraint programming Dimitri Justeau-Allaire,Charles Prud'Homme Constraints, 2022, 27 (1-2), pp.1-7. ⟨10.1007/s10601-021-09324-7⟩ Article dans une revue hal-03534058v1
Solution sampling with random table constraints Mathieu Vavrille,Charlotte Truchet,Charles Prud’homme Constraints, 2022, 27, pp.381-413. ⟨10.1007/s10601-022-09329-w⟩ Article dans une revue hal-03776149v1
Choco-solver Charles Prud’homme,Jean-Guillaume Fages Journal of Open Source Software, 2022, 7 (78), pp.4708. ⟨10.21105/joss.04708⟩ Article dans une revue (article de synthèse) hal-03932507v1
CoMe4ACloud: An End-to-End Framework for Autonomic Cloud Systems Zakarea Al-Shara,Frederico Alvares,Hugo Bruneliere,Jonathan Lejeune,Charles Prud'Hommeet al. Future Generation Computer Systems, 2018, 86, pp.339-354. ⟨10.1016/j.future.2018.03.039⟩ Article dans une revue hal-01762716v1
Explanation-Based Large Neighborhood Search Xavier Lorca,Charles Prud'Homme,Narendra Jussien Constraints, 2014, 19 (4), pp.339-379. ⟨10.1007/s10601-014-9166-6⟩ Article dans une revue hal-01087844v1
Propagation Engine Prototyping with a Domain Specific Language Charles Prud'Homme,Xavier Lorca,Rémi Douence,Narendra Jussien Constraints, 2014, 19 (1), pp.57-76. ⟨10.1007/s10601-013-9151-5⟩ Article dans une revue hal-00867604v1

Thèse (1)

Contrôle de la propagation et de la recherche dans un solveur de contraintes Charles Prud'Homme Intelligence artificielle [cs.AI]. Ecole des Mines de Nantes, 2014. Français. ⟨NNT : 2014EMNA0194⟩ Thèse tel-01060921v1