Nicolas Beldiceanu

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson: On the reification of global constraints. Constraints 18(1): 1-6 (2013)

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson: On matrices, automata, and double counting in constraint programming. Constraints 18(1): 108-140 (2013)

Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu: A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint. CPAIOR 2013: 144-159

Nicolas Beldiceanu, Helmut Simonis: A Model Seeker: Extracting Global Constraint Models from Positive Examples. CP 2012: 141-157

Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson: A Scalable Sweep Algorithm for the cumulative Constraint. CP 2012: 439-454

Nicolas Beldiceanu, Mats Carlsson, Thierry Petit, Jean-Charles Régin: An O(nlog n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization. ECAI 2012: 145-150

Nicolas Beldiceanu, Narendra Jussien, Eric Pinson (Eds.): Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems - 9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June1, 2012. Proceedings. Lecture Notes in Computer Science 7298, Springer 2012, isbn 978-3-642-29827-1

Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Emmanuel Poder: New filtering for the cumulative constraint in the context of non-overlapping rectangles. Annals OR 184(1): 27-50 (2011)

Nicolas Beldiceanu, Helmut Simonis: A Constraint Seeker: Finding and Ranking Global Constraints from Examples. CP 2011: 12-26

Alexis De Clercq, Thierry Petit, Nicolas Beldiceanu, Narendra Jussien: Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource. CP 2011: 240-255

Thierry Petit, Jean-Charles Régin, Nicolas Beldiceanu: A Θ(n) Bound-Consistency Algorithm for the Increasing Sum Constraint. CP 2011: 721-728

Thierry Petit, Nicolas Beldiceanu, Xavier Lorca: A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints. IJCAI 2011: 643-648

Thierry Petit, Nicolas Beldiceanu, Xavier Lorca: A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Revised Edition that Incorporates One Correction. CoRR abs/1110.4719 (2011)

Abder Aggoun, Nicolas Beldiceanu, Mats Carlsson, François Fages: Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems. ERCIM News 2010(81) (2010)

Gilles Chabert, Nicolas Beldiceanu: Sweeping with Continuous Domains. CP 2010: 137-151

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson: On Matrices, Automata, and Double Counting. CPAIOR 2010: 10-24

Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit: The Increasing Nvalue Constraint. CPAIOR 2010: 25-39

Nicolas Beldiceanu, Irit Katriel, Xavier Lorca: Undirected forest constraints. Annals OR 171(1): 127-147 (2009)

Magnus Ågren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stéphane Zampelli: Six Ways of Integrating Symmetries within Non-overlapping Constraints. CPAIOR 2009: 11-25

Nicolas Beldiceanu, Pierre Flener, Xavier Lorca: Combining Tree Partitioning, Precedence, and Incomparability Constraints. Constraints 13(4): 459-489 (2008)

Emmanuel Poder, Nicolas Beldiceanu: Filtering for a Continuous Multi-Resources cumulative Constraint with Resource Consumption and Production. ICAPS 2008: 264-271

Mats Carlsson, Nicolas Beldiceanu, Julien Martin: A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules. CP 2008: 220-234

Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder: New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles. CPAIOR 2008: 21-35

Nicolas Beldiceanu: Introduction to the Special Issue on Global Constraints. Constraints 12(1): 1-2 (2007)

Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit: Global Constraint Catalogue: Past, Present and Future. Constraints 12(1): 21-62 (2007)

Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet: A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. CP 2007: 180-194

Nicolas Beldiceanu, Xavier Lorca: Necessary Condition for Path Partitioning Constraints. CPAIOR 2007: 141-154

Nicolas Beldiceanu, Emmanuel Poder: A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production. CPAIOR 2007: 214-228

Nicolas Beldiceanu, Mats Carlsson, Sven Thiel: Sweep synchronization as a global propagation mechanism. Computers & OR 33(10): 2835-2851 (2006)

Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart: Bounds of graph parameters for global constraints. RAIRO - Operations Research 40(4): 327-353 (2006)

Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit: Graph Properties Based Filtering. CP 2006: 59-74

Nicolas Beldiceanu, Irit Katriel, Xavier Lorca: Undirected Forest Constraints. CPAIOR 2006: 29-43

Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit: Reformulation of Global Constraints Based on Constraints Checkers. Constraints 10(4): 339-362 (2005)

Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet: Graph Invariants as Necessary Conditions for Global Constraints. CP 2005: 92-106

Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart: Bounds of Graph Characteristics. CP 2005: 742-746

Nicolas Beldiceanu, Pierre Flener, Xavier Lorca: The tree Constraint. CPAIOR 2005: 64-78

Emmanuel Poder, Nicolas Beldiceanu, Eric Sanlaville: Computing a lower approximation of the compulsory part of a task with varying duration and varying resource consumption. European Journal of Operational Research 153(1): 239-254 (2004)

Mats Carlsson, Nicolas Beldiceanu: Dispensation Order Generation for Pyrosequencing. APBC 2004: 327-332

Nicolas Beldiceanu, Mats Carlsson, Thierry Petit: Deriving Filtering Algorithms from Constraint Checkers. CP 2004: 107-122

Nicolas Beldiceanu, Irit Katriel, Sven Thiel: Filtering Algorithms for the Same Constraint. CPAIOR 2004: 65-79

Nicolas Beldiceanu, Thierry Petit: Cost Evaluation of Soft Global Constraints. CPAIOR 2004: 80-95

Nicolas Beldiceanu, Irit Katriel, Sven Thiel: GCC-Like Restrictions on the Same Constraint. CSCLP 2004: 1-11

Mats Carlsson, Nicolas Beldiceanu: From Constraints to Finite Automata to Filtering Algorithms. ESOP 2004: 94-108

Nicolas Beldiceanu, Emmanuel Poder: The period Constraint. ICLP 2004: 329-342

Nicolas Beldiceanu, Emmanuel Poder: La contrainte période. JFPLC 2004

Nicolas Beldiceanu, Mats Carlsson: A New Multi-resource cumulatives Constraint with Negative Heights. CP 2002: 63-79

Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson: Tracing and Explaining Execution of CLP(FD) Programs. WLPE 2002: 1-16

Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson: Tracing and Explaining Execution of CLP(FD) Programs. CoRR cs.SE/0207047 (2002)

Nicolas Beldiceanu: Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family. CP 2001: 211-224

Nicolas Beldiceanu, Mats Carlsson: Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint. CP 2001: 377-391

Nicolas Beldiceanu, Qi Guo, Sven Thiel: Non-overlapping Constraints between Convex Polytopes. CP 2001: 392-407

Nicolas Beldiceanu, Mats Carlsson: Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. ICLP 2001: 59-73

Nicolas Beldiceanu: Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type. CP 2000: 52-66

Helmut Simonis, Abderrahmane Aggoun, Nicolas Beldiceanu, Eric Bourreau: Complex Constraint Abstraction: Global Constraint Visualisation. Analysis and Visualization Tools for Constraint Programming 2000: 299-317

Abderrahmane Aggoun, Nicolas Beldiceanu: Extending CHIP in order to solve complex scheduling and placement problems. JFPL 1992: 51-

Abderrahmane Aggoun, Nicolas Beldiceanu: Overview of the CHIP Compiler System. ICLP 1991: 775-789

Abderrahmane Aggoun, Nicolas Beldiceanu: Overview of the CHIP Compiler System. WCLP 1991: 421-435

Abderrahmane Aggoun, Nicolas Beldiceanu: Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems. SPLT 1990: 487-510

Younes Souissi, Nicolas Beldiceanu: Deterministic Systems of Sequential Processes: Theory and Tools. Concurrency 1988: 380-400