Nicolas Beldiceanu

According to our database, Nicolas Beldiceanu authored at least 89 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Proving Conjectures Acquired by Composing Multiple Biases.

Jovial Cheukam-Ngouonou, Ramiz Gindullin, Nicolas Beldiceanu, Rémi Douence, Claude-Guy Quimper

CoRR, 2023

Boolean-Arithmetic Equations: Acquisition and Uses.

Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

2022

De l'influence de Jacques Pitrat sur mes recherches en programmation par contraintes.

Nicolas Beldiceanu

ROIA, 2022

Acquiring Maps of Interrelated Conjectures on Sharp Bounds.

Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Ramiz Gindullin, Claude-Guy Quimper

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

2020

Invariants for time-series constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

Constraints An Int. J., 2020

Parameterised Bounds on the Sum of Variables in Time-Series Constraints.

Nicolas Beldiceanu, Maria-Isabel Restrepo-Ruiz, Helmut Simonis

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

2019

Classifying Pattern and Feature Properties to Get a Θ(n) Checker and Reformulation for Sliding Time-Series Constraints.

Nicolas Beldiceanu, Mats Carlsson, Claude-Guy Quimper, Maria-Isabel Restrepo-Ruiz

CoRR, 2019

Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

CoRR, 2019

2018

Deriving generic bounds for time-series constraints based on regular expressions characteristics.

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

Constraints An Int. J., 2018

2017

Towards energy-proportional clouds partially powered by renewable energy.

Nicolas Beldiceanu, Barbara Dumas Feris, Philippe Gravey, Md Sabbir Hasan, Claude Jard, Thomas Ledoux, Yunbo Li, Didier Lime, Gilles Madi-Wamba, Jean-Marc Menaud, Pascal Morel, Michel Morvan, Marie-Laure Moulinard, Anne-Cécile Orgerie, Jean-Louis Pazat, Olivier H. Roux, Ammar Sharaiha

Computing, 2017

Cloud Workload Prediction and Generation Models.

Gilles Madi-Wamba, Yunbo Li, Anne-Cécile Orgerie, Nicolas Beldiceanu, Jean-Marc Menaud

Proceedings of the 29th International Symposium on Computer Architecture and High Performance Computing, 2017

Green Energy Aware Scheduling Problem in Virtualized Datacenters.

Gilles Madi-Wamba, Yunbo Li, Anne-Cécile Orgerie, Nicolas Beldiceanu, Jean-Marc Menaud

Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017

Range-Consistent Forbidden Regions of Allen's Relations.

Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud'homme, Andreas Schutt, Peter J. Stuckey

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

among Implied Constraints for Two Families of Time-Series Constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2017

Generating Linear Invariants for a Conjunction of Automata Constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

ModelSeeker: Extracting Global Constraint Models from Positive Examples.

Nicolas Beldiceanu, Helmut Simonis

Proceedings of the Data Mining and Constraint Programming, 2016

Packing with Complex Shapes

Abderrahmane Aggoun, Nicolas Beldiceanu, Gilles Chabert, François Fages

ERCIM News, 2016

Global Constraint Catalog, Volume II, Time-Series Constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis

CoRR, 2016

Using finite transducers for describing and synthesising structural time-series constraints.

Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis

Constraints An Int. J., 2016

A parametric propagator for pairs of Sum constraints with a discrete convexity property.

Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson

Artif. Intell., 2016

The TaskIntersection Constraint.

Gilles Madi-Wamba, Nicolas Beldiceanu

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

Time-Series Constraints: Improvements and Application in CP and MIP Contexts.

Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Synchronized sweep algorithms for scalable scheduling constraints.

Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu

Constraints An Int. J., 2015

The EPOC Project - Energy Proportional and Opportunistic Computing System.

Nicolas Beldiceanu, Barbara Dumas Feris, Philippe Gravey, Md Sabbir Hasan, Claude Jard, Thomas Ledoux, Yunbo Li, Didier Lime, Gilles Madi-Wamba, Jean-Marc Menaud, Pascal Morel, Michel Morvan, Marie-Laure Moulinard, Anne-Cécile Orgerie, Jean-Louis Pazat, Olivier H. Roux, Ammar Sharaiha

Proceedings of the SMARTGREENS 2015, 2015

A Modelling Pearl with Sortedness Constraints.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme

Proceedings of the Global Conference on Artificial Intelligence, 2015

2014

Toward sustainable development in constraint programming.

Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson, Helmut Simonis

Constraints An Int. J., 2014

Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming, 2014

Propagating Regular Counting Constraints.

Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

On matrices, automata, and double counting in constraint programming.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson

Constraints An Int. J., 2013

On the reification of global constraints.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson

Constraints An Int. J., 2013

GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials.

Naina Razakarison, Mats Carlsson, Nicolas Beldiceanu, Helmut Simonis

Proceedings of the Sixth Annual Symposium on Combinatorial Search, 2013

A Synchronized Sweep Algorithm for the <i>k-dimensional cumulative</i> Constraint.

Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

A Parametric Propagator for Discretely Convex Pairs of Sum Constraints.

Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming, 2013

Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker.

Nicolas Beldiceanu, Georgiana Ifrim, Arnaud Lenoir, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

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.

Nicolas Beldiceanu, Mats Carlsson, Thierry Petit, Jean-Charles Régin

Proceedings of the ECAI 2012, 2012

A Scalable Sweep Algorithm for the cumulative Constraint.

Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson

Proceedings of the Principles and Practice of Constraint Programming, 2012

A Model Seeker: Extracting Global Constraint Models from Positive Examples.

Nicolas Beldiceanu, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Revised Edition that Incorporates One Correction

Thierry Petit, Nicolas Beldiceanu, Xavier Lorca

CoRR, 2011

New filtering for the <i>cumulative</i> constraint in the context of non-overlapping rectangles.

Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Emmanuel Poder

Ann. Oper. Res., 2011

A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints.

Thierry Petit, Nicolas Beldiceanu, Xavier Lorca

Proceedings of the IJCAI 2011, 2011

A Θ(n) Bound-Consistency Algorithm for the Increasing Sum Constraint.

Thierry Petit, Jean-Charles Régin, Nicolas Beldiceanu

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource.

Alexis De Clercq, Thierry Petit, Nicolas Beldiceanu, Narendra Jussien

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

A Constraint Seeker: Finding and Ranking Global Constraints from Examples.

Nicolas Beldiceanu, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems.

Abder Aggoun, Nicolas Beldiceanu, Mats Carlsson, François Fages

ERCIM News, 2010

The Increasing Nvalue Constraint.

Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

On Matrices, Automata, and Double Counting.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Sweeping with Continuous Domains.

Gilles Chabert, Nicolas Beldiceanu

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Undirected forest constraints.

Nicolas Beldiceanu, Irit Katriel, Xavier Lorca

Ann. Oper. Res., 2009

Six Ways of Integrating Symmetries within Non-overlapping Constraints.

Magnus Ågren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stéphane Zampelli

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

2008

Combining Tree Partitioning, Precedence, and Incomparability Constraints.

Nicolas Beldiceanu, Pierre Flener, Xavier Lorca

Constraints An Int. J., 2008

New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles.

Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules.

Mats Carlsson, Nicolas Beldiceanu, Julien Martin

Proceedings of the Principles and Practice of Constraint Programming, 2008

Filtering for a Continuous Multi-Resources cumulative Constraint with Resource Consumption and Production.

Emmanuel Poder, Nicolas Beldiceanu

Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

2007

Global Constraint Catalogue: Past, Present and Future.

Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit

Constraints An Int. J., 2007

Introduction to the Special Issue on Global Constraints.

Nicolas Beldiceanu

Constraints An Int. J., 2007

A Continuous Multi-resources <i>cumulative</i> Constraint with Positive-Negative Resource Consumption-Production.

Nicolas Beldiceanu, Emmanuel Poder

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

Necessary Condition for Path Partitioning Constraints.

Nicolas Beldiceanu, Xavier Lorca

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic <i>k</i>-Dimensional Objects.

Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Bounds of graph parameters for global constraints.

Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart

RAIRO Oper. Res., 2006

Sweep synchronization as a global propagation mechanism.

Nicolas Beldiceanu, Mats Carlsson, Sven Thiel

Comput. Oper. Res., 2006

Graph Properties Based Filtering.

Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

Reformulation of Global Constraints Based on Constraints Checkers.

Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit

Constraints An Int. J., 2005

The tree Constraint.

Nicolas Beldiceanu, Pierre Flener, Xavier Lorca

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

Bounds of Graph Characteristics.

Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart

Proceedings of the Principles and Practice of Constraint Programming, 2005

Graph Invariants as Necessary Conditions for Global Constraints.

Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Computing a lower approximation of the compulsory part of a task with varying duration and varying resource consumption.

Emmanuel Poder, Nicolas Beldiceanu, Eric Sanlaville

Eur. J. Oper. Res., 2004

La contrainte période.

Nicolas Beldiceanu, Emmanuel Poder

Proceedings of the Programmation en logique avec contraintes, 2004

The period Constraint.

Nicolas Beldiceanu, Emmanuel Poder

Proceedings of the Logic Programming, 20th International Conference, 2004

From Constraints to Finite Automata to Filtering Algorithms.

Mats Carlsson, Nicolas Beldiceanu

Proceedings of the Programming Languages and Systems, 2004

GCC-Like Restrictions on the <i>Same</i> Constraint.

Nicolas Beldiceanu, Irit Katriel, Sven Thiel

Proceedings of the Recent Advances in Constraints, 2004

Cost Evaluation of Soft Global Constraints.

Nicolas Beldiceanu, Thierry Petit

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

Filtering Algorithms for the Same Constraint.

Nicolas Beldiceanu, Irit Katriel, Sven Thiel

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

Deriving Filtering Algorithms from Constraint Checkers.

Nicolas Beldiceanu, Mats Carlsson, Thierry Petit

Proceedings of the Principles and Practice of Constraint Programming, 2004

Dispensation Order Generation for Pyrosequencing.

Mats Carlsson, Nicolas Beldiceanu

Proceedings of the Second Asia-Pacific Bioinformatics Conference (APBC 2004), 2004

2003

Contraintes Globales : Aspects Algorithmiques et Déclaratifs. (Global constraints: algorithmic and declarative aspects).

Nicolas Beldiceanu

, 2003

2002

Tracing and Explaining Execution of CLP(FD) Programs.

Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson

Proceedings of the 12th International Workshop on Logic Programming Environments, 2002

A New Multi-resource cumulatives Constraint with Negative Heights.

Nicolas Beldiceanu, Mats Carlsson

Proceedings of the Principles and Practice of Constraint Programming, 2002

2001

Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family.

Nicolas Beldiceanu, Mats Carlsson

Proceedings of the Logic Programming, 17th International Conference, 2001

Non-overlapping Constraints between Convex Polytopes.

Nicolas Beldiceanu, Qi Guo, Sven Thiel

Proceedings of the Principles and Practice of Constraint Programming, 2001

Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint.

Nicolas Beldiceanu, Mats Carlsson

Proceedings of the Principles and Practice of Constraint Programming, 2001

Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family.

Nicolas Beldiceanu

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

Complex Constraint Abstraction: Global Constraint Visualisation.

Helmut Simonis, Abderrahmane Aggoun, Nicolas Beldiceanu, Eric Bourreau

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type.

Nicolas Beldiceanu

Proceedings of the Principles and Practice of Constraint Programming, 2000

1992

Extending CHIP in order to solve complex scheduling and placement problems.

Abderrahmane Aggoun, Nicolas Beldiceanu

Proceedings of the JFPL'92, 1992

1991

Overview of the CHIP Compiler System.

Abderrahmane Aggoun, Nicolas Beldiceanu

Proceedings of the Logic Programming, 1991

1990

Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems.

Abderrahmane Aggoun, Nicolas Beldiceanu

Proceedings of the SPLT'90, 1990

1988

Deterministic Systems of Sequential Processes: Theory and Tools.

Younes Souissi, Nicolas Beldiceanu

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988