Beldiceanu, Nicolas

5 publications

IJCAI 2025 Bimodal Depth-First Search for Scalable GAC for AllDifferent Sulian Le Bozec-Chiffoleau, Nicolas Beldiceanu, Charles Prud'homme, Gilles Simonin, Xavier Lorca
IJCAI 2025 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, Philippe Vismara, Philippe Birnbaum, Nicolas Rinck, Nicolas Beldiceanu
AAAI 2024 Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper
AAAI 2014 Propagating Regular Counting Constraints Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck
IJCAI 2011 A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints Thierry Petit, Nicolas Beldiceanu, Xavier Lorca