Charles Prud'homme

30 papers A* 3A 6B 2C 1Misc 2Journal 12Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Bimodal Depth-First Search for Scalable GAC for AllDifferent. IJCAI Sulian Le Bozec-Chiffoleau, Nicolas Beldiceanu, Charles Prud'homme, Gilles Simonin, Xavier Lorca
2025	A*	`conf`	Towards the 30 by 30 Kunming-Montreal Global Biodiversity Framework Target: Optimising Graph Connectivity in Constraint-Based Spatial Planning. IJCAI Sulian Le Bozec-Chiffoleau, Dimitri Justeau-Allaire, Xavier Lorca, Charles Prud'homme, Gilles Simonin, Philippe Vismara, Philippe Birnbaum, Nicolas Rinck, Nicolas Beldiceanu
2024	A	`conf`	Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study. SANER Jolan Philippe, Antoine Omond, Hélène Coullon, Charles Prud'homme, Issam Raïs
2024	A*	`conf`	Polynomial Time Presolve Algorithms for Rotation-Based Models Solving the Robust Stable Matching Problem. IJCAI Sulian Le Bozec-Chiffoleau, Charles Prud'homme, Gilles Simonin
2023	J	`jnl`	Correction to: Solution sampling with random table constraints. Constraints An Int. J. Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme
2023	A	`conf`	Guiding Backtrack Search by Tracking Variables During Constraint Propagation. CP Gilles Audemard, Christophe Lecoutre, Charles Prud'homme
2023	J	`jnl`	New Algorithm for Exhausting Optimal Permutations for Generalized Feistel Networks. IACR Cryptol. ePrint Arch. Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme
2023	A	`conf`	SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized Controllers. SEAMS Abdelghani Alidra, Hugo Bruneliere, Hélène Coullon, Thomas Ledoux, Charles Prud'homme, Jonathan Lejeune, Pierre Sens, Julien Sopena, Jonathan Rivalan
2022	J	`jnl`	Choco-solver: A Java library for constraint programming. J. Open Source Softw. Charles Prud'homme, Jean-Guillaume Fages
2022	J	`jnl`	Global domain views for expressive and cross-domain constraint programming. Constraints An Int. J. Dimitri Justeau-Allaire, Charles Prud'homme
2022	Misc	`conf`	New Algorithm for Exhausting Optimal Permutations for Generalized Feistel Networks. INDOCRYPT Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme
2022	J	`jnl`	Solution sampling with random table constraints. Constraints An Int. J. Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme
2021	Misc	`conf`	A Simpler Model for Recovering Superpoly on Trivium. SAC Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme
2021	J	`jnl`	A Simpler Model for Recovering Superpoly onTrivium. IACR Cryptol. ePrint Arch. Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme
2021	—	`conf`	Efficient Methods to Search for Best Differential Characteristics on SKINNY. ACNS (2) Stéphanie Delaune, Patrick Derbez, Paul Huynh, Marine Minier, Victor Mollimard, Charles Prud'homme
2021	A	`conf`	Solution Sampling with Random Table Constraints. CP Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme
2020	J	`jnl`	SKINNY with Scalpel - Comparing Tools for Differential Analysis. IACR Cryptol. ePrint Arch. Stéphanie Delaune, Patrick Derbez, Paul Huynh, Marine Minier, Victor Mollimard, Charles Prud'homme
2019	C	`conf`	Efficient Resource Allocation for Multi-Tenant Monitoring of Edge Infrastructures. PDP Mohamed Abderrahim, Meryem Ouzzif, Karine Guillouard, Jérôme François, Adrien Lebre, Charles Prud'homme, Xavier Lorca
2019	—	`conf`	Service Placement in Fog Computing Using Constraint Programming. SCC Farah Aït-Salaht, Frédéric Desprez, Adrien Lebre, Charles Prud'homme, Mohamed Abderrahim
2018	J	`jnl`	CoMe4ACloud: An end-to-end framework for autonomic Cloud systems. Future Gener. Comput. Syst. Zakarea Alshara, Frederico Alvares, Hugo Bruneliere, Jonathan Lejeune, Charles Prud'homme, Thomas Ledoux
2017	B	`conf`	Making the First Solution Good! ICTAI Jean-Guillaume Fages, Charles Prud'homme
2017	B	`conf`	Range-Consistent Forbidden Regions of Allen's Relations. CPAIOR Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud'homme, Andreas Schutt, Peter J. Stuckey
2016	J	`jnl`	Event Selection Rules to Compute Explanations. CoRR Charles Prud'homme, Xavier Lorca, Narendra Jussien
2016	A	`conf`	Using Constraint Programming for the Urban Transit Crew Rescheduling Problem. CP Xavier Lorca, Charles Prud'homme, Aurélien Questel, Benoît Rottembourg
2015	A	`conf`	A Global Constraint for a Tractable Class of Temporal Optimization Problems. CP Alban Derrien, Jean-Guillaume Fages, Thierry Petit, Charles Prud'homme
2015	—	`conf`	A Modelling Pearl with Sortedness Constraints. GCAI Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme
2014	J	`jnl`	Combining finite and continuous solvers. CoRR Jean-Guillaume Fages, Gilles Chabert, Charles Prud'homme
2014	—	`—`	Contrôle de la propagation et de la recherche dans un solveur de contraintes. (Controlling propagation and search within a constraint solver). Charles Prud'homme
2014	J	`jnl`	Explanation-based large neighborhood search. Constraints An Int. J. Charles Prud'homme, Xavier Lorca, Narendra Jussien
2014	J	`jnl`	Propagation engine prototyping with a domain specific language. Constraints An Int. J. Charles Prud'homme, Xavier Lorca, Rémi Douence, Narendra Jussien