Nicolas Beldiceanu

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 24

Top Topics

Regular Expressions

Renewable Energy

Constraint Programming

Top Venues

Constraints An Int. J.

Publications

Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper
Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae. AAAI (2024)
Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper
Boolean-Arithmetic Equations: Acquisition and Uses. CPAIOR (2023)
Jovial Cheukam-Ngouonou, Ramiz Gindullin, Nicolas Beldiceanu, Rémi Douence, Claude-Guy Quimper
Proving Conjectures Acquired by Composing Multiple Biases. CoRR (2023)
Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Ramiz Gindullin, Claude-Guy Quimper
Acquiring Maps of Interrelated Conjectures on Sharp Bounds. CP (2022)
Nicolas Beldiceanu
De l'influence de Jacques Pitrat sur mes recherches en programmation par contraintes. ROIA 3 (1-2) (2022)
Nicolas Beldiceanu, Maria-Isabel Restrepo-Ruiz, Helmut Simonis
Parameterised Bounds on the Sum of Variables in Time-Series Constraints. CPAIOR (2020)
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
Invariants for time-series constraints. Constraints An Int. J. 25 (3-4) (2020)
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints. CoRR (2019)
Nicolas Beldiceanu, Mats Carlsson, Claude-Guy Quimper, Maria-Isabel Restrepo-Ruiz
Classifying Pattern and Feature Properties to Get a Θ(n) Checker and Reformulation for Sliding Time-Series Constraints. CoRR (2019)
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
Deriving generic bounds for time-series constraints based on regular expressions characteristics. Constraints An Int. J. 23 (1) (2018)
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
Towards energy-proportional clouds partially powered by renewable energy. Computing 99 (1) (2017)
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
among Implied Constraints for Two Families of Time-Series Constraints. CP (2017)
Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud'homme, Andreas Schutt, Peter J. Stuckey
Range-Consistent Forbidden Regions of Allen's Relations. CPAIOR (2017)
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
Deriving Generic Bounds for Time-Series Constraints Based on Regular Expressions Characteristics. CoRR (2017)
Gilles Madi-Wamba, Yunbo Li, Anne-Cécile Orgerie, Nicolas Beldiceanu, Jean-Marc Menaud
Green Energy Aware Scheduling Problem in Virtualized Datacenters. ICPADS (2017)
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
Generating Linear Invariants for a Conjunction of Automata Constraints. CP (2017)
Gilles Madi-Wamba, Yunbo Li, Anne-Cécile Orgerie, Nicolas Beldiceanu, Jean-Marc Menaud
Cloud Workload Prediction and Generation Models. SBAC-PAD (2017)
Abderrahmane Aggoun, Nicolas Beldiceanu, Gilles Chabert, François Fages
Packing with Complex Shapes ERCIM News 2016 (105) (2016)
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Time-Series Constraints: Improvements and Application in CP and MIP Contexts. CPAIOR (2016)
Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis
Using finite transducers for describing and synthesising structural time-series constraints. Constraints An Int. J. 21 (1) (2016)
Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. CP (2016)
Gilles Madi-Wamba, Nicolas Beldiceanu
The TaskIntersection Constraint. CPAIOR (2016)
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Global Constraint Catalog, Volume II, Time-Series Constraints. CoRR (2016)
Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson
A parametric propagator for pairs of Sum constraints with a discrete convexity property. Artif. Intell. 241 (2016)
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
The EPOC Project - Energy Proportional and Opportunistic Computing System. SMARTGREENS (2015)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme
A Modelling Pearl with Sortedness Constraints. GCAI (2015)
Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu
Synchronized sweep algorithms for scalable scheduling constraints. Constraints An Int. J. 20 (2) (2015)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson
Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. CP (2014)
Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson, Helmut Simonis
Toward sustainable development in constraint programming. Constraints An Int. J. 19 (2) (2014)
Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck
Propagating Regular Counting Constraints. AAAI (2014)
Nicolas Beldiceanu, Georgiana Ifrim, Arnaud Lenoir, Helmut Simonis
Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker. CP (2013)
Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu
Constraint. CPAIOR (2013)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
On matrices, automata, and double counting in constraint programming. Constraints An Int. J. 18 (1) (2013)
Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck
Propagating Regular Counting Constraints. CoRR (2013)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
On the reification of global constraints. Constraints An Int. J. 18 (1) (2013)
Naina Razakarison, Mats Carlsson, Nicolas Beldiceanu, Helmut Simonis
GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials. SOCS (2013)
Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson
A Parametric Propagator for Discretely Convex Pairs of Sum Constraints. CP (2013)
Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson
A Scalable Sweep Algorithm for the cumulative Constraint. CP (2012)
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)
Nicolas Beldiceanu, Helmut Simonis
A Model Seeker: Extracting Global Constraint Models from Positive Examples. CP (2012)
Thierry Petit, Nicolas Beldiceanu, Xavier Lorca
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Revised Edition that Incorporates One Correction CoRR (2011)
Thierry Petit, Nicolas Beldiceanu, Xavier Lorca
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints. IJCAI (2011)
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Emmanuel Poder
constraint in the context of non-overlapping rectangles. Ann. Oper. Res. 184 (1) (2011)
Thierry Petit, Jean-Charles Régin, Nicolas Beldiceanu
A Θ(n) Bound-Consistency Algorithm for the Increasing Sum Constraint. CP (2011)
Alexis De Clercq, Thierry Petit, Nicolas Beldiceanu, Narendra Jussien
Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource. CP (2011)
Nicolas Beldiceanu, Helmut Simonis
A Constraint Seeker: Finding and Ranking Global Constraints from Examples. CP (2011)
Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit
The Increasing Nvalue Constraint. CPAIOR (2010)
Gilles Chabert, Nicolas Beldiceanu
Sweeping with Continuous Domains. CP (2010)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
On Matrices, Automata, and Double Counting. CPAIOR (2010)
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)
Nicolas Beldiceanu, Irit Katriel, Xavier Lorca
Undirected forest constraints. Ann. Oper. Res. 171 (1) (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)
Emmanuel Poder, Nicolas Beldiceanu
Filtering for a Continuous Multi-Resources cumulative Constraint with Resource Consumption and Production. ICAPS (2008)
Mats Carlsson, Nicolas Beldiceanu, Julien Martin
A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules. CP (2008)
Nicolas Beldiceanu, Pierre Flener, Xavier Lorca
Combining Tree Partitioning, Precedence, and Incomparability Constraints. Constraints An Int. J. 13 (4) (2008)
Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder
New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles. CPAIOR (2008)
Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet
-Dimensional Objects. CP (2007)
Nicolas Beldiceanu, Emmanuel Poder
Constraint with Positive-Negative Resource Consumption-Production. CPAIOR (2007)
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit
Global Constraint Catalogue: Past, Present and Future. Constraints An Int. J. 12 (1) (2007)
Nicolas Beldiceanu
Introduction to the Special Issue on Global Constraints. Constraints An Int. J. 12 (1) (2007)
Nicolas Beldiceanu, Xavier Lorca
Necessary Condition for Path Partitioning Constraints. CPAIOR (2007)
Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart
Bounds of graph parameters for global constraints. RAIRO Oper. Res. 40 (4) (2006)
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit
Graph Properties Based Filtering. CP (2006)
Nicolas Beldiceanu, Irit Katriel, Xavier Lorca
Undirected Forest Constraints. CPAIOR (2006)
Nicolas Beldiceanu, Mats Carlsson, Sven Thiel
Sweep synchronization as a global propagation mechanism. Comput. Oper. Res. 33 (10) (2006)
Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit
Reformulation of Global Constraints Based on Constraints Checkers. Constraints An Int. J. 10 (4) (2005)
Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet
Graph Invariants as Necessary Conditions for Global Constraints. CP (2005)
Nicolas Beldiceanu, Pierre Flener, Xavier Lorca
The tree Constraint. CPAIOR (2005)
Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart
Bounds of Graph Characteristics. CP (2005)
Nicolas Beldiceanu, Emmanuel Poder
The period Constraint. ICLP (2004)
Nicolas Beldiceanu, Irit Katriel, Sven Thiel
Filtering Algorithms for the Same Constraint. CPAIOR (2004)
Emmanuel Poder, Nicolas Beldiceanu, Eric Sanlaville
Computing a lower approximation of the compulsory part of a task with varying duration and varying resource consumption. Eur. J. Oper. Res. 153 (1) (2004)
Nicolas Beldiceanu, Emmanuel Poder
La contrainte période. JFPLC (2004)
Nicolas Beldiceanu, Irit Katriel, Sven Thiel
Constraint. CSCLP (2004)
Nicolas Beldiceanu, Thierry Petit
Cost Evaluation of Soft Global Constraints. CPAIOR (2004)
Mats Carlsson, Nicolas Beldiceanu
Dispensation Order Generation for Pyrosequencing. APBC (2004)
Nicolas Beldiceanu, Mats Carlsson, Thierry Petit
Deriving Filtering Algorithms from Constraint Checkers. CP (2004)
Mats Carlsson, Nicolas Beldiceanu
From Constraints to Finite Automata to Filtering Algorithms. ESOP (2004)
Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson
Tracing and Explaining Execution of CLP(FD) Programs. WLPE (2002)
Nicolas Beldiceanu, Mats Carlsson
A New Multi-resource cumulatives Constraint with Negative Heights. CP (2002)
Nicolas Beldiceanu, Mats Carlsson
Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. ICLP (2001)
Nicolas Beldiceanu
Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family. CP (2001)
Nicolas Beldiceanu, Qi Guo, Sven Thiel
Non-overlapping Constraints between Convex Polytopes. CP (2001)
Nicolas Beldiceanu, Mats Carlsson
Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint. CP (2001)
Helmut Simonis, Abderrahmane Aggoun, Nicolas Beldiceanu, Eric Bourreau
Complex Constraint Abstraction: Global Constraint Visualisation. Analysis and Visualization Tools for Constraint Programming (2000)
Nicolas Beldiceanu
Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type. CP (2000)
Abderrahmane Aggoun, Nicolas Beldiceanu
Extending CHIP in order to solve complex scheduling and placement problems. JFPL (1992)
Abderrahmane Aggoun, Nicolas Beldiceanu
Overview of the CHIP Compiler System. ICLP (1991)
Abderrahmane Aggoun, Nicolas Beldiceanu
Overview of the CHIP Compiler System. WCLP (1991)
Abderrahmane Aggoun, Nicolas Beldiceanu
Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems. SPLT (1990)
Younes Souissi, Nicolas Beldiceanu
Deterministic Systems of Sequential Processes: Theory and Tools. Concurrency (1988)