Charles Prud'homme

40
Documents

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 Simonin et 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
Deposit thumbnail

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'Homme et 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
Deposit thumbnail

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'Homme et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized Controllers

Abdelghani Alidra , Hugo Bruneliere , Hélène Coullon , Thomas Ledoux , Charles Prud'Homme et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Efficient Methods to Search for Best Differential Characteristics on SKINNY

Stéphanie Delaune , Patrick Derbez , Paul Huynh , Marine Minier , Victor Mollimard et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Efficient Resource Allocation for Multi-tenant Monitoring of Edge Infrastructures

Mohamed Abderrahim , Meryem Ouzzif , Karine Guillouard , Jérôme François , Adrien Lebre et 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
Deposit thumbnail

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 Schutt et 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
Deposit thumbnail

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 Modelling Pearl with Sortedness Constraints

Nicolas Beldiceanu , Mats Carlsson , Pierre Flener , Xavier Lorca , Justin Pearson et al.

Global conference on artificial intelligence, Oct 2015, Tbilisi, Georgia

Communication dans un congrès hal-01186680v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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’homme et al.

Journal of Air Transport Management, 2024, 115, pp.102537. ⟨10.1016/j.jairtraman.2024.102537⟩

Article dans une revue hal-04411305v1
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

CoMe4ACloud: An End-to-End Framework for Autonomic Cloud Systems

Zakarea Al-Shara , Frederico Alvares , Hugo Bruneliere , Jonathan Lejeune , Charles Prud'Homme et al.

Future Generation Computer Systems, 2018, 86, pp.339-354. ⟨10.1016/j.future.2018.03.039⟩

Article dans une revue hal-01762716v1
Deposit thumbnail

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
Deposit thumbnail

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