1. Recherche
56 résultats  enregistrer la recherche


  • 1
  • 2
hal-01374721v1  Autre publication
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-00874286v1  Communication dans un congrès
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-00874297v1  Communication dans un congrès
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-00874309v1  Communication dans un congrès
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-00481539v1  Communication dans un congrès
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-01086755v1  Communication dans un congrès
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-01436044v1  Communication dans un congrès
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-01436062v1  Chapitre d'ouvrage
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-00517122v1  Autre publication
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-00915800v1  Communication dans un congrès
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-00915701v1  Communication dans un congrès
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-00915717v1  Communication dans un congrès
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-01186680v1  Communication dans un congrès
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-00753375v1  Communication dans un congrès
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-00485457v1  Autre publication
Sophie Demassey, Nicolas Beldiceanu. Global Constraint Catalog Website
http://www.emn.fr/x-info/sdemasse/gccat/. 2010
...
hal-01245074v1  Pré-publication, Document de travail
Nicolas Beldiceanu, Eric Bourreau, H Simonis. A Note on Perfect Square Placement
1999
hal-00754041v1  Autre publication
Nicolas Beldiceanu, Mats Carlsson, Heather Hilton. Global Constraint Catalog, 2nd Edition (revision a)
AP. SICS research report T2012-03, http://soda.swedish-ict.se/5195/. 2011
...
hal-01370317v1  Autre publication
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-00754017v1  Communication dans un congrès
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-00754044v1  Communication dans un congrès
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-00754341v1  Communication dans un congrès
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-00754354v1  Communication dans un congrès
Helmut Simonis, Nicolas Beldiceanu. Building global constraint models from positive examples
21th International Symposium on Mathematical Programming (ISMP'12), Aug 2012, Berlin, Germany
hal-00754356v1  Communication dans un congrès
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-00754020v1  Communication dans un congrès
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-00754023v1  Communication dans un congrès
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
  • 1
  • 2

Contact


archive-ouverte@inria.fr