Charles Prud'homme

38
Documents

Publications

Publications

Image document

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-05283980 v1
Image document

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-05273525 v1
Image document

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-05000976 v1
Image document

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-04652791 v1
Image document

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-04716981 v1
Image document

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-04457484 v1
Image document

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-04220560 v1
Image document

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-04043471 v1
Image document

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-03927074 v1
Image document

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-03595277 v1
Image document

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-03040548 v2

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-03776130 v1
Image document

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-03776147 v1
Image document

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-03534492 v1
Image document

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-03179630 v1
Image document

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-02108806 v1
Image document

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-01987946 v1
Image document

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-01629182 v1

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-01686406 v1
Image document

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-01436288 v1
Image document

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-01241079 v1

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-01186680 v1
Image document

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-00904069 v1
Image document

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-00867713 v1

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-00363157 v1
Image document

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-05360978 v1
Image document

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-04411305 v1
Image document

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-03776149 v1

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-03534058 v1
Image document

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-03932507 v1
Image document

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-01762716 v1
Image document

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-01087844 v1
Image document

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-00867604 v1