Nicolas Beldiceanu

100 papers A* 6A 26B 23C 1Journal 30Unranked 12

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