Topic: filtering/consistency
2013
- Filtering AtMostNValue with Difference Constraints: Application to the Shift Minimisation Personnel Task Scheduling Problem (2013).
Jean-Guillaume Fages
Tanguy Lapègue
19th International Conference on Principles and Practice of Constraint Programming (CP'13), best student paper, Lectures Notes in Computer Science 8124
- Three Generalizations of the FOCUS Constraint (2013).
Nina Narodytska
Thierry Petit
Mohamed Siala
Toby Walsh
IJCAI, 23rd International Joint Conference on Artificial Intelligence,
- Maintien asynchrone de la consistance d'arc dans la recherche distribuée synchrone (2013).
Mohamed Wahbi
Redouane Ezzahir
Christian Bessiere
ElHoussine Bouyakhf
9ème Journées Francophones de Programmation par Contraintes, Aix-en-Provence, France. pp. 347--356.
- Une approche basée sur les contraintes pour résoudre le problème d?arbre recouvrant de coût minimum avec contraintes de degré (2013).
Jean-Guillaume Fages
Xavier Lorca
Louis-Martin Rousseau
9 emes Journées Francophones de Programmation par Contraintes (JFPC'13), Aix-en-Provence, France. pp. 119-122.
- When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent (2013).
Jérémie Du Boisberranger
Danièle Gardy
Xavier Lorca
Charlotte Truchet
Proceedings of the 10th Meeting on Analytic Algorithmics and Combinatorics (ANALCO2013), New Orleans, Louisiana, USA. pp. 80-90.
- Three Generalizations of the FOCUS Constraint (extended version including proofs) (2013).
Nina Narodytska
Thierry Petit
Mohamed Siala
Toby Walsh
CoRR abs/1304.5970
2012
- The Conjunction of Interval AMONG Constraints (2012).
Gilles Chabert
Sophie Demassey
9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'12), Lectures Notes in Computer Science 7298: 113--128.
- Focus: A Constraint for Concentrating High Costs (2012).
Thierry Petit
18th International Conference on Principles and Practice of Constraint Programming (CP'12), Quebec City, Canada. Lecture Notes in Computer Science
- Focus: A Constraint for Concentrating High Costs (2012).
Thierry Petit
Proc. First International Workshop on Search Strategies and Non-standard Objectives, (CPAIOR-SSNOW'12), Nantes, France.
- An O(n log n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization (2012).
Nicolas Beldiceanu
Mats Carlsson
Thierry Petit
Jean-Charles Regin
European Conference on Artificial Intelligence (ECAI'12), Montpellier, France.
- Maintaining Arc Consistency Asynchronously in Synchronous Distributed Search (2012).
[doi]
Wahbi, Mohamed
Ezzahir, Redouane
Bessiere, Christian
Bouyakhf, El Houssine
24th International Conference on Tools with Artificial Intelligence (ICTAI'12), Athens, Greece. vol. 1. pp. 33--40.
- Improving the Asymmetric TSP by Considering Graph Structure (2012). [paper]
Jean-Guillaume Fages
Xavier Lorca
Technical report 12-4-INFO, Ecole des Mines de Nantes, TASC(LINA/CNRS/INRIA).
2011
- cumulatives trajectories: a Constraint for Modelling Preemptive Reassignable Tasks with Momentarily Resource Consumption (2011). [paper]
Arnaud Letort
Doctoral Program of the 17th International Conference on Principles and Practice of Constraint Programming (CP'11), pp. 49--54.
- Global Propagation of Side Constraints for Solving Over-constrained Problems (2011).
[hal]
[doi]
[paper]
Thierry Petit
Emmanuel Poder
Annals of Operations Research 184(1): 295-314.
- An Optimal Constraint Programming Approach to the Open-Shop Problem (2011).
Arnaud Malapert
Hadrien Cambazard
Christelle Guéret
Narendra Jussien
André Langevin
Louis-Martin Rousseau
INFORMS Journal on Computing
- The Ordered Distribute Constraint (2011).
Thierry Petit
Jean-Charles Régin
International Journal on Artificial Intelligence Tools (IJAIT)
- Filtering Algorithms for Discrete Cumulative Problems with Over-loads of Resource (2011).
Alexis De Clercq
Thierry Petit
Nicolas Beldiceanu
Narendra Jussien
17th International Conference on Principles and Practice of Constraint Programming (CP'11), Perrugia, Italy. Lecture Notes in Computer Science
- Revisiting the tree Constraint (2011).
Jean-Guillaume Fages
Xavier Lorca
17th International Conference on Principles and Practice of Constraint Programming (CP'11), Perrugia, Italy. Lecture Notes in Computer Science
- A Theta(n) Bound-Consistency Algorithm for the Increasing Sum Constraint (2011).
Thierry Petit
Jean-Charles Régin
Nicolas Beldiceanu
17th International Conference on Principles and Practice of Constraint Programming (CP'11), Perrugia, Italy. Lecture Notes in Computer Science
- The Objective Sum Constraint (2011).
Jean-Charles Régin
Thierry Petit
8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'11), Berlin, Germany. Lecture Notes in Computer Science
- A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints (2011). [paper]
Thierry Petit
Nicolas Beldiceanu
Xavier Lorca
22th International Joint Conference on Artificial Intelligence (IJCAI'11),
- A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Revised Edition that Incorporates One Correction (2011). [paper]
Thierry Petit
Nicolas Beldiceanu
Xavier Lorca
CoRR abs/1110.4719
- Tree-based Graph Partitioning Constraint (2011).
[url]
Xavier Lorca
ISTE/Wiley, ISBN 978-1-84821-303-6.
- Multi-Agent Electro-Location and the Among Constraint (2011).
[hal]
[paper]
Gilles Chabert
Frédéric Boyer
Sophie Demassey
Technical report 00598712, INRIA.
- A Constraint Programming Approach for a Batch Processing Problem with Non-identical Job Sizes (2011). [paper]
Arnaud Malapert
Christelle Guéret
Louis-Martin Rousseau
Technical report 11-06-AUTO, École des Mines de Nantes.
2010
- The Ordered Distribute Constraint (2010).
[hal]
[paper]
Thierry Petit
Jean-Charles Régin
22th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'10),
- Efficient Algorithms for Singleton Arc Consistency (2010).
[hal]
[doi]
[paper]
Christian Bessiere
Stephane Cardon
Romuald Debruyne
Christophe Lecoutre
Constraints 16(1): 25-53.
- New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles (2010).
[doi]
Nicolas Beldiceanu
Mats Carlsson
Sophie Demassey
Emmanuel Poder
Annals of Operations Research 184(1): 27-50.
- Sweeping with Continous Domains (2010).
[slides]
Gilles Chabert
Nicolas Beldiceanu
16th International Conference on Principles and Practice of Constraint Programming (CP'10), St Andrews, Scotland. Lecture Notes in Computer Science 6308: 137--151.
- The increasing-nvalue Constraint (2010). [paper]
[slides]
Nicolas Beldiceanu
Fabien Hermenier
Xavier Lorca
Thierry Petit
7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'10), Bologna, Italy. Lecture Notes in Computer Science 6140: 25--39.
- On Matrices, Automata and Double Counting (2010).
[slides]
Nicolas Beldiceanu
Mats Carlsson
Pierre Flener
Justin Pearson
7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'10), Bologna, Italy. Lecture Notes in Computer Science 6140: 10--24.
- Modelling a Maintenance Scheduling Problem with Alternative Resources (2010).
Aliaa M. Badr
Arnaud Malapert
Kenneth N. Brown
The 9th International Workshop on Constraint Modelling and Reformulation (ModRef'10) held at CP'10, St. Andrews, Scotland.
- A generic scheme for integrating strong consistencies into constraint solvers (2010). [paper]
Julien Vion
Thierry Petit
Narendra Jussien
Recent Advances in Constraints, Revised Selected Papers from CSCLP'09., Lecture Notes in Computer Science 6384
- La contrainte increasing-nvalue (2010).
[hal]
[paper]
Nicolas Beldiceanu
Fabien Hermenier
Xavier Lorca
Thierry Petit
6èmes Journées Francophones de Programmation par Contraintes (JFPC'10), pp. 71-81.
- A GAC Algorithm for a Class of Global Counting Constraints (2010). [paper]
Nicolas Beldiceanu
Xavier Lorca
Thierry Petit
Technical report 10-01-INFO, École des Mines de Nantes.
- Modelling a Maintenance Scheduling Problem with Alternative Resources (2010). [paper]
Aliaa M. Badr
Arnaud Malapert
Kenneth N. Brown
Technical report 10-03-INFO, École des Mines de Nantes.
- Modélisation et optimisation des préférences en planification de personnel (2010). [paper]
Julien Menana
Sophie Demassey
Narendra Jussien
Technical report 11-01-INFO, École des Mines de Nantes.
2009
- Contractor Programming (2009).
[hal]
[doi]
[paper]
Gilles Chabert
Luc Jaulin
Artificial Intelligence 173(11): 1079-1100.
- Undirected Forest Constraints (2009).
[hal]
[doi]
Nicolas Beldiceanu
Irit Katriel
Xavier Lorca
Annals of Operations Research 171(1): 127--147.
- Making Bound Consistency as Effective as Arc Consistency (2009).
[hal]
[paper]
Christian Bessière
Thierry Petit
Bruno Zanuttini
21th International Joint Conference on Artificial Intelligence (IJCAI'09),
- A Constraint on the Number of Distinct Vectors with Application to Localization (2009).
[hal]
[paper]
Gilles Chabert
Luc Jaulin
Xavier Lorca
15th International Conference on Principles and Practice of Constraint Programming (CP'09), Lecture Notes in Computer Science 5732: 196-210.
- Hull Consistency Under Monotonicity (2009).
[hal]
[paper]
Gilles Chabert
Luc Jaulin
15th International Conference on Principles and Practice of Constraint Programming (CP'09), Lecture Notes in Computer Science 5732: 188-195.
- Closing the Open Shop: Contradicting Conventional Wisdom (2009).
[doi]
[url]
Diarmuid Grimes
Emmanuel Hebrard
Arnaud Malapert
15th International Conference on Principles and Practice of Constraint Programming (CP'09), Lecture Notes in Computer Science 5732: 400-408.
- Sequencing and counting with the multicost-regular constraint (2009).
[hal]
[doi]
[paper]
Julien Menana
Sophie Demassey
6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), Pittsburgh, USA. Lecture Notes in Computer Science 5547: 178--192.
- Six Ways of Integrating Symmetries within Non-Overlapping Constraints (2009).
[hal]
[doi]
[slides]
Magnus \rAgren
Nicolas Beldiceanu
Mats Carlsson
Mohammed Sbihi
Charlotte Truchet
Stéphane Zampelli
6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), Pittsburgh, USA. Lecture Notes in Computer Science 5547: 11--25.
- Lazy Composition of Representations in Java (2009).
[hal]
[paper]
Rémi Douence
Xavier Lorca
Nicolas Loriant
8th International Conference on Software Composition (SC'09), Lecture Notes in Computer Science
- A generic scheme for integrating strong consistencies into constraint solvers (2009).
[hal]
[paper]
Julien Vion
Thierry Petit
Narendra Jussien
14th ERCIM International Workshop on Constraint Solving and Constraint Logic Programming (CSCLP'09),
- Séquencer et compter avec la contrainte multicost-regular (2009).
[hal]
[paper]
Julien Menana
Sophie Demassey
5èmes Journées Francophones de Programmation par Contraintes (JFPC'09), Orléans, France. pp. 125--134.
- Relaxation lagrangienne pour le filtrage d'une contrainte-automate à coûts multiples (2009).
[hal]
Julien Menana
Sophie Demassey
Narendra Jussien
10ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'09), Nancy, France.
- Outillage logiciel pour les problèmes dynamiques (2009).
[hal]
Guillaume Richaud
PhD Thesis, Université de Nantes.
- An Optimal Constraint Programming Approach to solve the Open-Shop Problem (2009). [paper]
Arnaud Malapert
Hadrien Cambazard
Christelle Guéret
Narendra Jussien
André Langevin
Louis-Martin Rousseau
Technical report CIRRELT-2009-25, CIRRELT, Montréal.
- The Ordered Global Cardinality Constraint (2009). [paper]
Thierry Petit
Jean-Charles Régin
Technical report 09-07-INFO, École des Mines de Nantes.
- The Soft Cumulative Constraint (2009). [paper]
Thierry Petit
Emmanuel Poder
Technical report 09-06-INFO, École des Mines de Nantes.
- Compiling Business Rules in a Geometric Constraint over k-Dimensional Objects and Shapes (2009). [paper]
Mats Carlsson
Nicolas Beldiceanu
Julien Martin
Technical report T2009-02, Swedish Institute of Computer Science.
- Toward Plug & Solve Global Constraints (2009).
Guillaume Richaud
Xavier Lorca
Narendra Jussien
Technical report 09-02-INFO, École des Mines de Nantes.
- Integrating Strong Local Consistencies into Constraint Solvers (2009). [paper]
Julien Vion
Thierry Petit
Narendra Jussien
Technical report 09-01-INFO, École des Mines de Nantes.
- Six Ways of Integrating Symmetries within Non-Overlapping Constraints (2009). [paper]
Magnus \rAgren
Nicolas Beldiceanu
Mats Carlsson
Mohammed Sbihi
Charlotte Truchet
Stéphane Zampelli
Technical report T2009-01, Swedish Institute of Computer Science.
2008
- Combining tree Partitioning, Precedence, and Incomparability Constraints (2008).
[hal]
[doi]
[paper]
Nicolas Beldiceanu
Pierre Flener
Xavier Lorca
Constraints 13(4): 459--489.
- Theoretical Analysis of Singleton Arc Consistency and Its Extensions (2008).
[hal]
[doi]
[paper]
Christian Bessière
Romuald Debruyne
Artificial Intelligence 172(1): 29-41.
- A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules (2008).
[hal]
[doi]
[paper]
[slides]
Mats Carlsson
Nicolas Beldiceanu
Julien Martin
14th International Conference on Principles and Practice of Constraint Programming (CP'08), Sidney, Australia. Lecture Notes in Computer Science 5202: 220--234.
- New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles (2008).
[hal]
[paper]
[slides]
Nicolas Beldiceanu
Mats Carlsson
Emmanuel Poder
5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'08), Paris, France. Lecture Notes in Computer Science 5015: 21--35.
- Global propagation of practicability constraints (2008).
[hal]
Thierry Petit
Emmanuel Poder
5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'08), Paris, France. Lecture Notes in Computer Science 5015: 361--366.
- Filtering for a Continuous Multi-Resources cumulative Constraint with Resource Consumption and Production (2008).
[hal]
[paper]
[slides]
Emmanuel Poder
Nicolas Beldiceanu
International Conference on Automated Planning and Scheduling (ICAPS'08), Sidney, Australia.
- A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules (2008). [paper]
Nicolas Beldiceanu
Mats Carlsson
Julien Martin
Technical report T2008-04, Swedish Institute of Computer Science.
2007
- Global Constraint Catalog: Past, Present and Future (2007).
[hal]
[doi]
Nicolas Beldiceanu
Mats Carlsson
Sophie Demassey
Thierry Petit
Constraints 12(1): 21-62.
- Special Issue on Global Constraints (2007).
[hal]
[doi]
Nicolas Beldiceanu (ed.), Constraints 12 Springer,
- A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects (2007).
[hal]
[paper]
[slides]
Nicolas Beldiceanu
Mats Carlsson
Emmanuel Poder
Rida Sadek
Charlotte Truchet
13th International on Principles and Practice of Constraint Programming (CP'07), Brown, USA. Lecture Notes in Computer Science 4741: 180--194.
- A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production (2007).
[hal]
[paper]
[slides]
Nicolas Beldiceanu
Emmanuel Poder
4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'07), Brussels, Belgium. Lecture Notes in Computer Science 4150: 214--228.
- Necessary Condition for Path Partitioning Constraints (2007).
[hal]
[paper]
[slides]
Nicolas Beldiceanu
Xavier Lorca
4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'07), Brussels, Belgium. Lecture Notes in Computer Science 4150: 141-154.
- A portable and efficient implementation of global constraints: the TREE constraint case (2007). [paper]
Guillaume Richaud
Xavier Lorca
Narendra Jussien
7th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'07), pp. 44-56.
- Condition nécessaire pour la contrainte de partitionnement de graphes par des chemins (2007).
[hal]
[url]
Nicolas Beldiceanu
Xavier Lorca
3èmes Journées Francophones de Programmation par Contraintes (JFPC'07), Rocquencourt, France. pp. 297--305.
- Une contrainte cumulative continue multi-ressources avec des consommations-productions en ressources positives-négatives (2007).
[hal]
Nicolas Beldiceanu
Emmanuel Poder
3èmes Journées Francophones de Programmation par Contraintes (JFPC'07), Rocquencourt, France.
- Une contrainte globale pour l'ordonnançabilité des tâches temps réel dur (2007).
[hal]
[paper]
Hadrien Cambazard
Pierre-Emmanuel Hladik
Anne-Marie Déplanche
Narendra Jussien
3èmes Journées Francophones de Programmation par Contraintes (JFPC'07), Rocquencourt, France. pp. 367--376.
- Contraintes de partitionnement de graphe (2007).
[hal]
[paper]
Xavier Lorca
PhD Thesis, Université de Nantes.
- A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects (2007). [paper]
Nicolas Beldiceanu
Emmanuel Poder
Rida Sadek
Mats Carlsson
Charlotte Truchet
Technical report T2007-08, Swedish Institute of Computer Science.
- Global propagation of practicability constraints (2007).
Thierry Petit
Emmanuel Poder
Technical report 07-02-INFO, École des Mines de Nantes.
- Propagation of practicability criteria (2007).
Thierry Petit
Technical report 07-01-INFO, École des Mines de Nantes.
2006
- A Cost-Regular based hybrid column generation approach (2006).
[hal]
[doi]
[paper]
Sophie Demassey
Gilles Pesant
Louis-Martin Rousseau
Constraints 11(4): 315-333.
- Sweep synchronisation as a global propagation mechanism (2006).
[hal]
[doi]
Nicolas Beldiceanu
Mats Carlsson
Sven Thiel
Computers and Operations Research 33(10): 2835--2851.
- Graph-Based Filtering (2006).
[hal]
[doi]
Nicolas Beldiceanu
Mats Carlsson
Sophie Demassey
Thierry Petit
12th International Conference on Principles and Practice of Constraint Programming (CP'06), Nantes, France. Lecture Notes in Computer Science 4204: 59-74.
- Undirected Forest Constraints (2006).
[hal]
[paper]
Nicolas Beldiceanu
Irit Katriel
Xavier Lorca
3rd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'06), Cork, Ireland. Lecture Notes in Computer Science 3990: 29-43.
- Filtrage basé sur des propriétés de graphes (2006).
[hal]
Nicolas Beldiceanu
Mats Carlsson
Sophie Demassey
Thierry Petit
2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), Nîmes, France.
- Contraintes de Partitionnement par des Arbres (2006).
[hal]
[paper]
Nicolas Beldiceanu
Irit Katriel
Xavier Lorca
2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), Nîmes, France. pp. 43-53.
- Partitionnement de graphes par des arbres sous contraintes de degré (2006).
[hal]
[paper]
Nicolas Beldiceanu
Pierre Flener
Xavier Lorca
2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), Nîmes, France. pp. 35-43.
- Résolution de problèmes combinatoires par des approches fondées sur la notion d'explication (2006).
[hal]
[paper]
Hadrien Cambazard
PhD Thesis, Université de Nantes.
- Combining Tree Partitioning, Precedence, Incomparability, and Degree Constraints, with an Application to Phylogenetic and Ordered-Path Problems (2006). [paper]
Nicolas Beldiceanu
Pierre Flener
Xavier Lorca
Technical report 2006-020, Department of Information Technology, Uppsala University, Sweden.
- Graph-Properties Based Filtering (2006). [paper]
Nicolas Beldiceanu
Mats Carlsson
Sophie Demassey
Thierry Petit
Technical report T2006-10, Swedish Institute of Computer Science.
- Global Constraints: Introduction and Graph-Based Representation (2006).
[hal]
[slides]
Nicolas Beldiceanu
Second International Summer School of the Association for Constraint Programming.
2005
- Filtering Algorithms for the Same and UsedBy Constraints (2005).
Nicolas Beldiceanu
Irit Katriel
Sven Thiel
Archives of Control Sciences Special issue on Constraint Programming for Decision and Control
- The Tree Constraint (2005).
[hal]
[paper]
Nicolas Beldiceanu
Pierre Flener
Xavier Lorca
2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'05), Prague, Czech Republic. Lecture Notes in Computer Science 3524: 64-78.
- Optimal and Suboptimal Singleton Arc Consistency Algorithms (2005). [paper]
Christian Bessière
Romuald Debruyne
19th International Joint Conference on Artificial Intelligence (IJCAI'05), Edinburgh, Scotland. pp. 54-59.
- gcc-like Restrictions on the Same Constraint (2005).
Nicolas Beldiceanu
Irit Katriel
Sven Thiel
Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (CSCLP'04), Lecture Notes in Computer Science 3419: 1-11.
- Explications pratiques pour la programmation par contraintes (2005).
Guillaume Rochart
PhD Thesis, Université de Nantes.
- Implémenter des contraintes globales expliquées (2005).
[hal]
[paper]
Guillaume Rochart
Narendra Jussien
1ères Journées Francophones de Programmation par Contraintes (JFPC'05), Lens, France. pp. 393-402.
- Algorithmes Optimaux et Sous-optimaux de Singleton Consistance d'Arc (2005).
[hal]
Christian Bessière
Romuald Debruyne
1ères Journées Francophones de Programmation par Contraintes (JFPC'05), Lens, France. pp. 277-286.
2004
- Computing a lower approximation of the compulsory part of a task with varying duration and varying resource consumption (2004).
[hal]
Emmanuel Poder
Nicolas Beldiceanu
Éric Sanlaville
European Journal of Operational Research 153: 239-254.
- Cost Evaluation of Soft Global Constraints (2004).
Nicolas Beldiceanu
Thierry Petit
1st International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'04), Nice, France. Lecture Notes in Computer Science 3011: 80-95.
- Filtering Algorithms for the Same (2004).
Nicolas Beldiceanu
Irit Katriel
Sven Thiel
1st International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CPAIOR'04), Nice, France. Lecture Notes in Computer Science 3011: 65-79.
- The Period Constraint (2004).
[slides]
Nicolas Beldiceanu
Emmanuel Poder
International Conference on Logic Programming (ICLP'04), Lecture Notes in Computer Science
- Optimal and Suboptimal Singleton Arc Consistency Algorithms (2004). [paper]
Christian Bessière
Romuald Debruyne
CP'04 Workshop on Constraint Propagation and Implementation, Toronto, Canada.
- Theoretical Analysis of Singleton Arc Consistency (2004). [paper]
Christian Bessière
Romuald Debruyne
ECAI'04 Workshop on Modelling and Solving Problems with Constraints, Valencia, Spain. pp. 20-29.
- Cumulated Profiles of Minimum and Maximum Resource Utilisation (2004).
Nicolas Beldiceanu
Emmanuel Poder
9th International Workshop on Project Management and Scheduling (PMS'04),
- La contrainte Periode (2004).
Nicolas Beldiceanu
Emmanuel Poder
13èmes Journées Francophones de Programmation en Logique et avec Contraintes (JFPLC'04), Angers, France.
2003
2002
2001
- Non-overlapping Constraints between Convex Polytopes (2001).
[url]
Nicolas Beldiceanu
Qi Guo
Sven Thiel
7th International Conference on Principles and Practice of Constraint Programming (CP'01), Paphos, Cyprus. Lecture Notes in Computer Science 2239: 392-407.
- Sweep as a Generic Pruning Technique Applied to the Non-Overlapping Rectangles Constraints (2001).
Nicolas Beldiceanu
Mats Carlsson
7th International Conference on Principles and Practice of Constraint Programming (CP'01), Paphos, Cyprus. Lecture Notes in Computer Science 2239: 377-391.
- Pruning for the minimum Constraint Family and for the number of distinct values Constraint Family (2001).
[url]
[slides]
Nicolas Beldiceanu
7th International Conference on Principles and Practice of Constraint Programming (CP'01), Paphos, Cyprus. Lecture Notes in Computer Science 2239: 211-224.
- Revisiting the cardinality Operator and Introducing the cardinality-path Constraint Family (2001).
[url]
[slides]
Nicolas Beldiceanu
Mats Carlsson
International Conference on Logic Programming (ICLP'01), Paphos, Cyprus. Lecture Notes in Computer Science 2237: 59-73.
- Sweep as a Generic Pruning Technique Applied to Constraint Relaxation (2001).
[slides]
Nicolas Beldiceanu
Mats Carlsson
CP'01 3rd Workshop on Soft Constraints (Soft'01), Paphos, Cyprus. pp. 43-55.
- Constructive cardinality (2001).
[url]
Nicolas Beldiceanu
Mats Carlsson
Technical report T2001-15, Swedish Institute of Computer Science.
2000
1998
1994
1993
1992
1990
W3C: XHTML - last update: 2013-07-26. SD.