Nicolas Beldiceanu

Orcid: 0000-0003-1452-596X

According to our database1, Nicolas Beldiceanu authored at least 90 papers between 1988 and 2024.

Collaborative distances:

Timeline

1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
10
1
1
1
1
2
1
1
4
1
1
2
2
1
1
1
2
2
1
1
2
1
1
1
5
3
2
2
4
3
4
3
1
3
3
1
3
8
2
4
2
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Fouille Interactive de Motifs à Haute Utilité.
Proceedings of the Extraction et Gestion des Connaissances, 2024

Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Proving Conjectures Acquired by Composing Multiple Biases.
CoRR, 2023

Boolean-Arithmetic Equations: Acquisition and Uses.
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.
Rev. Ouverte Intell. Artif., 2022

Acquiring Maps of Interrelated Conjectures on Sharp Bounds.
Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

2020
Invariants for time-series constraints.
Constraints An Int. J., 2020

Parameterised Bounds on the Sum of Variables in Time-Series Constraints.
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.
CoRR, 2019

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

2018
Deriving generic bounds for time-series constraints based on regular expressions characteristics.
Constraints An Int. J., 2018

2017
Towards energy-proportional clouds partially powered by renewable energy.
Computing, 2017

Cloud Workload Prediction and Generation Models.
Proceedings of the 29th International Symposium on Computer Architecture and High Performance Computing, 2017

Green Energy Aware Scheduling Problem in Virtualized Datacenters.
Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017

Range-Consistent Forbidden Regions of Allen's Relations.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

among Implied Constraints for Two Families of Time-Series Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2017

Generating Linear Invariants for a Conjunction of Automata Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2017

2016
ModelSeeker: Extracting Global Constraint Models from Positive Examples.
Proceedings of the Data Mining and Constraint Programming, 2016

Packing with Complex Shapes
ERCIM News, 2016

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

Using finite transducers for describing and synthesising structural time-series constraints.
Constraints An Int. J., 2016

A parametric propagator for pairs of Sum constraints with a discrete convexity property.
Artif. Intell., 2016

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

Time-Series Constraints: Improvements and Application in CP and MIP Contexts.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2016

2015
Synchronized sweep algorithms for scalable scheduling constraints.
Constraints An Int. J., 2015


A Modelling Pearl with Sortedness Constraints.
Proceedings of the Global Conference on Artificial Intelligence, 2015

2014
Toward sustainable development in constraint programming.
Constraints An Int. J., 2014

Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Propagating Regular Counting Constraints.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
On matrices, automata, and double counting in constraint programming.
Constraints An Int. J., 2013

On the reification of global constraints.
Constraints An Int. J., 2013

GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials.
Proceedings of the Sixth Annual Symposium on Combinatorial Search, 2013

A Synchronized Sweep Algorithm for the <i>k-dimensional cumulative</i> Constraint.
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.
Proceedings of the Principles and Practice of Constraint Programming, 2013

Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker.
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.
Proceedings of the ECAI 2012, 2012

A Scalable Sweep Algorithm for the cumulative Constraint.
Proceedings of the Principles and Practice of Constraint Programming, 2012

A Model Seeker: Extracting Global Constraint Models from Positive Examples.
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
CoRR, 2011

New filtering for the <i>cumulative</i> constraint in the context of non-overlapping rectangles.
Ann. Oper. Res., 2011

A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints.
Proceedings of the IJCAI 2011, 2011

A Θ(n) Bound-Consistency Algorithm for the Increasing Sum Constraint.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

A Constraint Seeker: Finding and Ranking Global Constraints from Examples.
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.
ERCIM News, 2010

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

On Matrices, Automata, and Double Counting.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Sweeping with Continuous Domains.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009
Undirected forest constraints.
Ann. Oper. Res., 2009

Six Ways of Integrating Symmetries within Non-overlapping Constraints.
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.
Constraints An Int. J., 2008

New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles.
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.
Proceedings of the Principles and Practice of Constraint Programming, 2008

Filtering for a Continuous Multi-Resources cumulative Constraint with Resource Consumption and Production.
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

2007
Global Constraint Catalogue: Past, Present and Future.
Constraints An Int. J., 2007

Introduction to the Special Issue on Global Constraints.
Constraints An Int. J., 2007

A Continuous Multi-resources <i>cumulative</i> Constraint with Positive-Negative Resource Consumption-Production.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

Necessary Condition for Path Partitioning Constraints.
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.
Proceedings of the Principles and Practice of Constraint Programming, 2007

2006
Bounds of graph parameters for global constraints.
RAIRO Oper. Res., 2006

Sweep synchronization as a global propagation mechanism.
Comput. Oper. Res., 2006

Graph Properties Based Filtering.
Proceedings of the Principles and Practice of Constraint Programming, 2006

2005
Reformulation of Global Constraints Based on Constraints Checkers.
Constraints An Int. J., 2005

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

Bounds of Graph Characteristics.
Proceedings of the Principles and Practice of Constraint Programming, 2005

Graph Invariants as Necessary Conditions for Global Constraints.
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.
Eur. J. Oper. Res., 2004

La contrainte période.
Proceedings of the Programmation en logique avec contraintes, 2004

The period Constraint.
Proceedings of the Logic Programming, 20th International Conference, 2004

From Constraints to Finite Automata to Filtering Algorithms.
Proceedings of the Programming Languages and Systems, 2004

GCC-Like Restrictions on the <i>Same</i> Constraint.
Proceedings of the Recent Advances in Constraints, 2004

Cost Evaluation of Soft Global Constraints.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

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

Deriving Filtering Algorithms from Constraint Checkers.
Proceedings of the Principles and Practice of Constraint Programming, 2004

Dispensation Order Generation for Pyrosequencing.
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).
, 2003

2002
Tracing and Explaining Execution of CLP(FD) Programs.
Proceedings of the 12th International Workshop on Logic Programming Environments, 2002

A New Multi-resource cumulatives Constraint with Negative Heights.
Proceedings of the Principles and Practice of Constraint Programming, 2002

2001
Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family.
Proceedings of the Logic Programming, 17th International Conference, 2001

Non-overlapping Constraints between Convex Polytopes.
Proceedings of the Principles and Practice of Constraint Programming, 2001

Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint.
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.
Proceedings of the Principles and Practice of Constraint Programming, 2001

2000
Complex Constraint Abstraction: Global Constraint Visualisation.
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.
Proceedings of the Principles and Practice of Constraint Programming, 2000

1992
Extending CHIP in order to solve complex scheduling and placement problems.
Proceedings of the JFPL'92, 1992

1991
Overview of the CHIP Compiler System.
Proceedings of the Logic Programming, 1991

1990
Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems.
Proceedings of the SPLT'90, 1990

1988
Deterministic Systems of Sequential Processes: Theory and Tools.
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988


  Loading...