Réseaux sociaux

Widget extérieur

GCC

global constraint catalog

  • web version
  • last version (Feb. 14, 2012, vol.1)
  • last version (Sep. 26, 2016, vol.2)
  • working version (Jan. 20, 2017, vol.1)
  • working version (Mar. 29, 2017, vol.2)
Nombre de documents

88

Nicolas Beldiceanu


Professor in computer science, IMT Atlantique, LS2N-CNRS, 2003-current (Nantes, France)

Research in constraint programming:

  •     global constraints
  •     efficient filtering algorithms
  •     describing constraints with meta data
  •     synthesizing/learning combinatorial knowledge maps
  •     learning constraints models


Senior researcher at SICS, 1999-2003 (Uppsala Sweden)

In charge of research at COSYTEC, 1990-1999 (Paris area, France)

Researcher at European Computer-Industry Research Centre, 1988-1989 (Munich, Germany)


Education

University Pierre et Marie Curie, PhD in Computer Science, 1983-1988
(Programmeur d'Etude, Maîtrise, DEA systèmes informatiques, PhD thesis under supervision of Claude Girault:
A rule language and an inference engine based on constraints and actions: application to Petri nets)

University Pierre et Marie Curie, HDR, 2003
(Global constraints: algorithmic and declarative aspects)


Article dans une revue22 documents

  • Nicolas Beldiceanu, Bárbara Dumas Feris, Philippe Gravey, Sabbir Hasan, Claude Jard, et al.. Towards energy-proportional Clouds partially powered by renewable energy. Computing, Springer Verlag, 2017, 99 (1), pp.20. <10.1007/s00607-016-0503-z>. <hal-01340318>
  • Abderrahmane Aggoun, Nicolas Beldiceanu, Gilles Chabert, François Fages. Packing with Complex Shapes. ERCIM News, ERCIM, 2016, pp.32. <http://ercim-news.ercim.eu/en105/special/packing-with-complex-shapes>. <hal-01378471>
  • Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis. Using finite transducers for describing and synthesising structural time-series constraints. Constraints, Springer Verlag, 2016, 21 (1), <10.1007/s10601-015-9200-3>. <hal-01370322>
  • Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson. A Parametric Propagator for Pairs of Sum Constraints with a Discrete Convexity Property. Artificial Intelligence, Elsevier, 2016, 241, pp.170 - 190. <10.1016/j.artint.2016.08.006>. <hal-01374714>
  • Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis. Using finite transducers for describing and synthesising structural time-series constraints. Constraints, Springer Verlag, 2015, pp.19. <10.1007/s10601-015-9200-3>. <hal-01186662>
  • Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson, Helmut Simonis. Toward sustainable development in constraint programming. Constraints, Springer Verlag, 2014, pp.11. <10.1007/s10601-013-9152-4>. <hal-01086761>
  • Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu. Synchronized sweep algorithms for scalable scheduling constraints. Constraints, Springer Verlag, 2014, pp.52. <10.1007/s10601-014-9172-8>. <hal-01086765>
  • Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson. On Matrices, Automata, and Double Counting in Constraint Programming. Constraints, Springer Verlag, 2013, 18 (1), pp.108-140. <10.1007/s10601-012-9134-y>. <hal-00758531>
  • Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson, Helmut Simonis. Toward sustainable development in constraint programming. Constraints, Springer Verlag, 2013. <hal-00874276>
  • Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson. On the Reification of Global Constraints. Constraints, Springer Verlag, 2013, 18 (1), pp.1-6. <10.1007/s10601-012-9132-0>. <hal-00754252>
  • Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Emmanuel Poder. New filtering for the \it cumulative constraint in the context of non-overlapping rectangles. Annals OR, 2011, 184 (1), pp.27-50. <10.1007/s10479-010-0731-0>. <hal-00485563>
  • Aggoun Abder, Nicolas Beldiceanu, Mats Carlsson, Francois Fages. Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems. ERCIM News, ERCIM, 2010, 81. <hal-00915805>
  • Nicolas Beldiceanu, Irit Katriel, Xavier Lorca. Undirected Forest Constraints. Annals of Operations Research, Springer Verlag, 2009, 171 (1), pp.127-147. <10.1007/s10479-008-0374-6>. <hal-00481471>
  • Nicolas Beldiceanu, Pierre Flener, Xavier Lorca. Combining tree Partitioning, Precedence, and Incomparability Constraints. Constraints, Springer Verlag, 2008, 13 (4), pp.459-489. <10.1007/s10601-007-9040-x>. <hal-00481533>
  • Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit. Global Constraint Catalog: Past, Present and Future. Constraints, Springer Verlag, 2007, 12 (1), pp.21-62. <hal-00481554>
  • Nicolas Beldiceanu. Special Issue on Global Constraints. Constraints, Springer Verlag, 2007, 12 (1), pp.1-1. <hal-00481555>
  • Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart. Bounds of graph properties. RAIRO - Operations Research, EDP Sciences, 2006, pp.742-746. <hal-00442811>
  • Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart. Bounds of parameters for global constraints. RAIRO - Operations Research, EDP Sciences, 2006, 40 (4), pp.327-353. <hal-00481568>
  • Nicolas Beldiceanu, Mats Carlsson, Sven Thiel. Sweep synchronisation as a global propagation mechanism. Computers and Operations Research, Elsevier, 2006, 33 (10), pp.2835-2851. <10.1016/j.cor.2005.01.013>. <hal-00481567>
  • Emmanuel Poder, Nicolas Beldiceanu, Eric Sanlaville. Computing a lower approximation of the compulsory part of a task with varying duration and varying resource consumption. European Journal of Operational Research, Elsevier, 2004, 153, pp.239--254. <hal-00442833>
  • Nicolas Beldiceanu, Evelyne Contejean. Introducing Global Constraints in CHIP. Mathl. Comput. Modelling, 1994, 20 (12), pp.97--123. <hal-00442810>
  • Abderrahmane Aggoun, Nicolas Beldiceanu. Extending CHIP in order to Solve Complex Scheduling and Placement Problems. Mathl. Comput. Modelling, 1993, 17 (7), pp.57--73. <hal-00442821>

Communication dans un congrès45 documents

  • Gilles Madi Wamba, Nicolas Beldiceanu. The TaskIntersection Constraint. Claude-Guy Quimper. 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming - CPAIOR 2016, May 2016, Banff, Canada. Springer, Lecture Notes in Computer Science, 9676, pp.246-261, 2016, Integration of AI and OR techniques in constraint programming. <10.1007/978-3-319-33954-2_18>. <hal-01436044>
  • Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, et al.. Time-Series Constraints: Improvements and Application in CP and MIP Contexts. Claude-Guy Quimper. CPAIOR 2016 - 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming , May 2016, Banff, Canada. Springer, 9676, pp.18-34, 2016, Lecture Notes in Computer Science. <https://symposia.cirrelt.ca/CPAIOR2016/en>. <10.1007/978-3-319-33954-2>. <hal-01355262>
  • Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, et al.. A Modelling Pearl with Sortedness Constraints. Global conference on artificial intelligence, Oct 2015, Tbilisi, Georgia. 2015, <http://easychair.org/smart-program/GCAI2015/>. <hal-01186680>
  • Nicolas Beldiceanu, Bárbara Dumas Feris, Philippe Gravey, Sabbir Hasan, Claude Jard, et al.. The EPOC project: Energy Proportional and Opportunistic Computing system. International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), May 2015, Lisbonne, Portugal. International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), 2015. <hal-01131602>
  • Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Maria Andreina, Justin Pearson. Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. Barry O'Sullivan. Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Sep 2014, Lyon, France. Springer, Lecture Notes in Computer Science, 8656, pp.15, 2014, Principles and Practice of Constraint Programming. <10.1007/978-3-319-10428-7_13>. <hal-01086755>
  • Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck. Propagating Regular Counting Constraints. Carla E. Brodley and Peter Stone. Twenty-Eighth AAAI Conference on Artificial Intelligence, Jul 2014, Québec, Canada. AAAI Publications, 2014, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence. <http://www.aaai.org/ocs/index.php/AAAI/AAAI14/>. <hal-01086758>
  • Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu. A Synchronized Sweep Algorithm for the $k$-dimensional cumulative Constraint. Gomes, Carla P. and Sellman, Meinolf. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference (CPAIOR'13), Jun 2013, Yorktown Heights, NY, United States. Springer, 7874, pp.144-159, 2013, Lecture Notes in Computer Science. <hal-00874286>
  • Naina Razakarison, Nicolas Beldiceanu, Mats Carlsson, Helmut Simonis. GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials. Helmert, Malte and Röger, Gabriele. The Sixth Annual Symposium on Combinatorial Search (SOCS'13), Jun 2013, Leavenworth, WA, United States. Malte Helmert and Gabriele Röger, 2013. <hal-00874297>
  • Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson. A Parametric Propagator for Discretely Convex Pairs of Sum Constraints. Christian Schulte. 19th International Conference on Principles and Practice of Constraint Programming (CP'13), Sep 2013, Uppsala, Sweden. Springer, 8124, pp.529-544, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-40627-0_40>. <hal-00874309>
  • Helmut Simonis, Nicolas Beldiceanu. A Model Seeker: Extracting Global Constraint Models From Positive Examples. 2013 INFORMS Computing Society Conference, Jan 2013, Santa Fe, United States. <hal-00754361>
  • Nicolas Beldiceanu, Ifrim Georgiana, A. Lenoir, Helmut Simonis. Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker. Christian Schulte. 19th International Conference on Principles and Practice of Constraint Programming (CP'13), Sep 2013, Uppsala, Sweden. Springer, 8124, pp.733--748, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-40627-0_54>. <hal-00874326>
  • Nicolas Beldiceanu, Helmut Simonis. A Model Seeker: Extracting Global Constraint Models from Positive Examples. Springer-Verlag. 18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada. 7514, pp.141-157, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-33558-7_13>. <hal-00754044>
  • Helmut Simonis, Nicolas Beldiceanu. A Model Seeker: Extracting Global Constraint Models From Positive Examples. First workshop on COmbining COnstraint solving with MIning and LEarning (CoCoMile'12), Aug 2012, Montpellier, France. <hal-00754341>
  • Helmut Simonis, Nicolas Beldiceanu. Building global constraint models from positive examples. 21th International Symposium on Mathematical Programming (ISMP'12), Aug 2012, Berlin, Germany. <hal-00754354>
  • Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson, Helmut Simonis. Some Research Challenges and Remarks on CP. 18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada. <hal-00754356>
  • Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson. A Scalable Sweep Algorithm for the cumulative Constraint. Springer-Verlag. 18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada. 7514, pp.439-454, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-33558-7_33>. <hal-00754043>
  • Nicolas Beldiceanu, Mats Carlsson, Thierry Petit, Jean-Charles Régin. 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. Luc De Raedt and Christian Bessière and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas. 20th European Conference on Artificial Intelligence (ECAI'12), Aug 2012, Montpellier, France. IOS Press, 242, pp.145-150, 2012, Frontiers in Artificial Intelligence and Applications. <10.3233/978-1-61499-098-7-145>. <hal-00754079>
  • Alexis De Clercq, Thierry Petit, Nicolas Beldiceanu, Narendra Jussien. Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource. Principles and Practice of Constraint Programming - CP 2011, Sep 2011, Perugia, Italy. Springer, 6876, pp.240-255, 2011, Lecture Notes in Computer Scienc. <10.1007/978-3-642-23786-7_20>. <hal-00753375>
  • Thierry Petit, Nicolas Beldiceanu, Xavier Lorca. A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints. IJCAI/AAAI. 22th International Joint Conference on Artificial Intelligence (IJCAI'11), Aug 2011, Barcelona, Spain. pp.643-648, 2011. <hal-00754017>
  • Alexis De Clercq, Nicolas Beldiceanu, Narendra Jussien. Algorithmes de filtrage pour des problèmes cumulatifs discrets avec dépassements de ressource. 7ièmes Journées Francophones de Programmation par Contraintes (JFPC'11), 2011, Lyon, France. pp.1-15, 2011. <hal-00754020>
  • Nicolas Beldiceanu, Helmut Simonis. Using the Global Constraint Seeker for Learning Structured Constraint Models: A First Attempt. The 10th International Workshop on Constraint Modelling and Reformulation (ModRef'11) held at CP'11, Sep 2011, Perugia, Italy. pp.20-34, 2011. <hal-00754023>
  • Nicolas Beldiceanu, Helmut Simonis. A Constraint Seeker: Finding and Ranking Global Constraints from Examples. Springer-Verlag. 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Sep 2011, Perrugia, Italy. 6876, pp.12-26, 2011, Lecture Notes in Computer Science. <10.1007/978-3-642-23786-7_4>. <hal-00754010>
  • Nicolas Beldiceanu, Helmut Simonis. Learning Structured Constraint Models: a First Attempt. The 22nd Irish Conference on Artificial Intelligence and Cognitive Science, AICS'11, 2011, Ulster, Ireland. <hal-00754027>
  • Thierry Petit, Jean-Charles Régin, Nicolas Beldiceanu. A Theta(n) Bound-Consistency Algorithm for the Increasing Sum Constraint. 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Sep 2011, Perugia, Italy. Springer, 6876, pp.721-728, 2011, Lecture Notes in Computer Science. <10.1007/978-3-642-23786-7_54>. <hal-00753385>
  • Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit. The Increasing Nvalue Constraint. Andrea Lodi and Michela Milano and Paolo Toth. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Jun 2010, Bologna, Italy. Springer, 6140, 2010, <10.1007/978-3-642-13520-0_5>. <hal-00915800>
  • Gilles Chabert, Nicolas Beldiceanu. Sweeping with Continuous Domains.. David Cohen. Principles and Practice of Constraint Programming - CP 2010, Oct 2010, St. Andrews, United Kingdom. Springer, 6308, pp.137-151, 2010, <10.1007/978-3-642-15396-9_14>. <hal-00915701>
  • Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson. On Matrices, Automata, and Double Counting. Andrea Lodi and Michela Milano and Paolo Toth. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings, Jun 2010, Bologna, Italy. Springer, 6140, 2010, LNCS. <10.1007/978-3-642-13520-0_4>. <hal-00915717>
  • Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit. La contrainte Increasing NValue. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.61-70, 2010. <inria-00520296v2>
  • Nicolas Beldiceanu, Mats Carlsson, Mohammed Sbihi, Charlotte Truchet, Stéphane Zampelli, et al.. Six Ways of Integrating Symmetries within Non-Overlapping Constraints. Springer-Verlag. 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), 2009, United States. 5547, pp.11-25, 2009, Lecture Notes in Computer Science. <10.1007/978-3-642-01929-6_3>. <hal-00481521>
  • Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder. New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles. Springer-Verlag. 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'08), 2008, Paris, France. 5015, pp.21-35, 2008, Lecture Notes in Computer Science. <hal-00481541>
  • Nicolas Beldiceanu, Emmanuel Poder. Filtering for a Continuous Multi-Resources cumulative Constraint with Resource Consumption and Production. International Conference on Automated Planning and Scheduling (ICAPS'08), 2008, Sidney, Australia. pp.264-271, 2008. <hal-00481545>
  • Nicolas Beldiceanu, Mats Carlsson, Julien Martin. A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules. Springer-Verlag. 14th International Conference on Principles and Practice of Constraint Programming (CP'08), 2008, Australia. 5202, pp.220-234, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-85958-1_15>. <hal-00481539>
  • Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, Rida Sadek, Charlotte Truchet. A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. 13th International on Principles and Practice of Constraint Programming (CP'07), 2007, Brown, United States. 4741, pp.180-194, 2007. <hal-00481558>
  • Nicolas Beldiceanu, Emmanuel Poder. A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production. Springer-Verlag. 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'07), 2007, Brussels, Belgium. 4150, pp.214-228, 2007, Lecture Notes in Computer Science. <hal-00481560>
  • Nicolas Beldiceanu, Xavier Lorca. Necessary Condition for Path Partitioning Constraints. Springer-Verlag. 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'07), 2007, Brussels, Belgium. 4150, pp.141-154, 2007, Lecture Notes in Computer Science. <hal-00481563>
  • Nicolas Beldiceanu, Emmanuel Poder. Une contrainte cumulative continue multi-ressources avec des conso mmations - Productions en ressources Positives - Négatives. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France, 2007, JFPC07. <inria-00151193>
  • Nicolas Beldiceanu, Xavier Lorca. Condition nécessaire pour la contrainte de partitionnement de graphes par des chemins. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France, 2007, JFPC07. <inria-00151230>
  • Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit. Graph-Based Filtering. 12th International Conference on Principles and Practice of Constraint Programming (CP'06), 2006, Nantes, France. 4204, pp.59-74, 2006. <hal-00481570>
  • Nicolas Beldiceanu, Irit Katriel, Xavier Lorca. Undirected Forest Constraints. Lecture Notes in Computer Science. Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'06), 2006, Cork, Ireland. 3990, pp.29-43, 2006, Springer-Verlag. <hal-00481573>
  • Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit. Filtrage basé sur des propriétés de graphes. 2èmes Journées Francophones de Programmation par Contraintes (, 2006, Nîmes, France. pp.11-25, 2006. <hal-00481575>
  • Nicolas Beldiceanu, Pierre Flener, Xavier Lorca. Partitionnement de graphes par des arbres sous contraintes de degré. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, 2006. <inria-00085802>
  • Nicolas Beldiceanu, Xavier Lorca, Irit Katriel. Contraintes de Partitionnement par des Arbres. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, 2006. <inria-00085803>
  • Nicolas Beldiceanu, Matts Carlsson, Sophie Demassey, Thierry Petit. Filtrage basé sur des propriétés de graphe. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, France. 2006. <inria-00085796>
  • Nicolas Beldiceanu, Pierre Flener, Xavier Lorca. The Tree Constraint. Roman Bartak and Michela Milano. International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR'05), 2005, Prague, Czech Republic, Czech Republic. Springer Verlag, pp.64--78, 2005, Lecture Notes in Computer Science. <hal-00445174>
  • Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart. Bornes de Caractéristiques de Graphes. Christine Solnon. Premières Journées Francophones de Programmation par Contraintes, Jun 2005, Lens, Université d'Artois, pp.229-238, 2005, Premières Journées Francophones de Programmation par Contraintes. <inria-00000088>

Chapitre d'ouvrage1 document

  • Nicolas Beldiceanu, Helmut Simonis. ModelSeeker: Extracting Global Constraint Models from Positive Examples. Christian Bessiere; Luc De Raedt; Lars Kotthoff; Siegfried Nijssen; Barry O'Sullivan; Dino Pedreschi. Data Mining and Constraint Programming, 10101, Springer, pp.77-95, 2016, Data Mining and Constraint Programming, 978-3-319-50136-9. <10.1007/978-3-319-50137-6_4>. <hal-01436062>

Direction d'ouvrage, Proceedings1 document

  • Nicolas Beldiceanu, Narendra Jussien, Eric Pinson. 9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'12). Springer Berlin Heidelberg, pp.408, 2012, 978-3-642-29827-1. <10.1007/978-3-642-29828-8>. <hal-00754042>

Autre publication13 documents

  • Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, et al.. Global Constraint Catalog, Volume II, Time-Series Constraints. Synthesized catalogue (text, figures, code) of time-series constraints. 2016, pp.2709. <hal-01374721>
  • Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, et al.. Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. slides corresponding to this paper. 2016, <10.1007/978-3-319-44953-1_2>. <hal-01370317>
  • Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon. Global Constraint Catalog, 2nd Edition (revision a). AP. SICS research report T2012-03, http://soda.swedish-ict.se/5195/. 2011. <hal-00754041>
  • Nicolas Beldiceanu, Xavier Lorca, Thierry Petit. A GAC Algorithm for a Class of Global Counting Constraints. Research Report, TR-10-1-Info, Ecole des Mines de Nantes. 2010. <hal-00517122>
  • Sophie Demassey, Nicolas Beldiceanu. Global Constraint Catalog Website. http://www.emn.fr/x-info/sdemasse/gccat/. 2010. <hal-00485457>
  • Nicolas Beldiceanu, Mats Carlsson, Julien Martin. Compiling Business Rules in a Geometric Constraint over k-Dimensional Objects and Shapes. SICS Technical report T2009-02.. Compiling Business Rules in a Geometric Constraint over k-Dimensional Objects and Shapes. 2009. <hal-00481528>
  • Nicolas Beldiceanu, Magnus Agren, Mats Carlsson, Mohammed Sbihi, Charlotte Truchet, et al.. Six Ways of Integrating Symmetries within Non-Overlapping Constraints, SICS Technical report T2009-01. Six Ways of Integrating Symmetries within Non-Overlapping Constraints. 2009. <hal-00481532>
  • Nicolas Beldiceanu. Programmation par Contraintes, École jeunes chercheurs en programmation. Slides available at http://ejcp2008.inria.fr/programme.htm. Programmation par Contraintes,. 2008. <hal-00481549>
  • Nicolas Beldiceanu, Emmanuel Poder, Rida Sadek, Mats Carlsson, Charlotte Truchet. A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. SICS technical report T2007-08.. A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional .. 2007. <hal-00481565>
  • Nicolas Beldiceanu. Global Constraints: Introduction and Graph-Based Representation. Second International Summer School of the Association for Constraint Programming. Samos, Greece.. Global Constraints: Introduction and Graph-Based Representation. 2006. <hal-00481582>
  • Nicolas Beldiceanu, Pierre Flener, Xavier Lorca. Combining Tree Partitioning, Precedence, Incomparability, and Degree Constraints, with an Application to Phylogenetic and Ordered-Path Problems, Technical report 2006-20 of Uppsala University.. Combining Tree Partitioning, Precedence, Incomparability, and Degree Constraints, with an Applica.. 2006. <hal-00481578>
  • Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit. Graph-Properties Based Filtering. SICS technical report T2006-10.. Graph-Properties Based Filtering. 2006. <hal-00481579>
  • Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon. Global Constraint Catalog. SICS T2005-08. Research Report SICS T2005-08. 2005. <hal-00485396>

Pré-publication, Document de travail2 documents

  • Nicolas Beldiceanu, Eric Bourreau, H Simonis. A Note on Perfect Square Placement. 1999. <hal-01245074>
  • Nicolas Beldiceanu, Eric Bourreau, Helmut Simonis, Abderrahmane Aggoun. Generalised Euler's knight. 1998. <lirmm-01079127>

Rapport4 documents

  • Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck. Propagating regular counting constraints. [Research Report] 2013, pp.16. <hal-00874338>
  • Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu. Synchronized sweep algorithms for scalable scheduling constraints. [Research Report] 2013, pp.49. <hal-00874331>
  • Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson. On the Reification of Global Constraints. 2012. <hal-00754039>
  • Thierry Petit, Nicolas Beldiceanu, Xavier Lorca. A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints:Revised Edition that Incorporates One Correction. 2011. <hal-00754032>