Charles Prud'homme
38
Documents
Publications
Publications
|
|
Technical Appendix for Bimodal Depth-First Search for Scalable GAC for AllDifferentIMT Atlantique. 2025, 5 p
Rapport
(rapport technique)
hal-05062193
v2
|
|
|
Technical Appendix for Polynomial Time Presolve Algorithms for Rotation-Based Models Solving the Robust Stable Matching ProblemIMT Atlantique. 2024
Rapport
hal-04569962
v2
|
|
|
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
Rapport
(rapport de recherche)
hal-03970237
v1
|
|
|
A Framework for Edge Infrastructures Monitoring[Research Report] RR-9215, Orange Labs; Inria Nancy - Grand Est; IMT-Atlantique. 2018, pp.1-14
Rapport
(rapport de recherche)
hal-01897570
v3
|
|
|
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⟩
Communication dans un congrès
hal-05283980
v1
|
|
|
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⟩
Communication dans un congrès
hal-05273525
v1
|
|
|
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
Communication dans un congrès
hal-05000976
v1
|
|
|
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
Communication dans un congrès
hal-04652791
v1
|
|
|
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⟩
Communication dans un congrès
hal-04716981
v1
|
|
|
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⟩
Communication dans un congrès
hal-04457484
v1
|
|
|
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⟩
Communication dans un congrès
hal-04220560
v1
|
|
|
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⟩
Communication dans un congrès
hal-04043471
v1
|
|
|
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⟩
Communication dans un congrès
hal-03927074
v1
|
|
|
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
Communication dans un congrès
hal-03595277
v1
|
|
|
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⟩
Communication dans un congrès
hal-03040548
v2
|
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⟩
Communication dans un congrès
hal-03776130
v1
|
|
|
|
Tirage de solutions par ajout de contraintes tables aléatoiresJournées Francophones de Programmation par Contraintes, Jun 2021, Nice, France
Communication dans un congrès
hal-03776147
v1
|
|
|
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⟩
Communication dans un congrès
hal-03534492
v1
|
|
|
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
Communication dans un congrès
hal-03179630
v1
|
|
|
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⟩
Communication dans un congrès
hal-02108806
v1
|
|
|
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⟩
Communication dans un congrès
hal-01987946
v1
|
|
|
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⟩
Communication dans un congrès
hal-01629182
v1
|
|
|
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⟩
Communication dans un congrès
hal-01686406
v1
|
|
|
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⟩
Communication dans un congrès
hal-01436288
v1
|
|
|
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⟩
Communication dans un congrès
hal-01241079
v1
|
A Modelling Pearl with Sortedness ConstraintsGlobal conference on artificial intelligence, Oct 2015, Tbilisi, Georgia
Communication dans un congrès
hal-01186680
v1
|
|
|
|
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
Communication dans un congrès
hal-00904069
v1
|
|
|
Prototyper des Moteurs de Propagation avec un DSLJourné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 deliveryROADEF'05, Feb 2005, Tours, France
Communication dans un congrès
hal-00363157
v1
|
|
|
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⟩
Thèse
tel-01060921
v1
|
Chargement...
Chargement...