Home arrow Publications
Publications

 Net-WMS related Publications

 

F. Fages, J. Martin, "Modelling search strategies in Rules2CP", in : Proceedings of CPAIOR'09, Lecture Notes in Computer Science, 5547, Springer-Verlag, p. 321-322, 2009.

J. Martin, T. Martinez, F. Fages, "On Specification of Search Tree Heurisitcs by Pattern-matching in a Rulebased Modelling Language", in : Proceedings of the Eighth International Workshop on Constraint Modelling and Reformulation, associated to CP'09, p. 73-86, 2009.

F. Fages, J. Martin, "From Rules to Constraint Programs with the Rules2CP Modelling language", in :
Recent Advances in Constraints, Revised Selected Papers of the 13th Annual ERCIM International Workshop
on Constraint Solving and Constraint Logic Programming, CSCLP'08, Lecture Notes in Artificial Intelligence,
5655, Springer-Verlag, p. 66-83, 2008.

M. Carlsson, N. Beldiceanu, J. Martin, "A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules", in : Proceedings of CP'08, P. J. Stuckey (editor), LNCS, 5202, Springer, p. 220-234, 2008.

J. Martin, F. Fages, "From Business Rules to Constraint Programs in Wharehouse Management Systems",
in : Doctoral programme of the 13th Conference on Principles and Practice of Constraint Programming CP'07, Providence, MA, USA, September 2007.

F. Fages, J. Martin, "Rules2CP/PKML user's manual", INRIA, 2009, http ://contraintes.inria.fr/rules2cp.

 

Generalized k-Dimensional Distance Constraints with Application to Circle Packing (2009).
Mohamed Sbihi, Stéphane Zampelli, Nicolas beldiceanu and Mats Carlsson.
Second International Workshop on Bin Packing and Placement Constraints BPPC'09
associated to the 15th International Conference on Principles and Practice of Constraint Programming CP 2009.

Six Ways of Integrating Symmetries within Non-Overlapping Constraints (2009).
Magnus Ågren, 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.

Compiling Business Rules in a Geometric Constraint over k-Dimensional Objects and Shapes (2009).
Mats Carlsson, Nicolas Beldiceanu, Julien Martin
Technical report T2009-02, Swedish Institute of Computer Science.

Six Ways of Integrating Symmetries within Non-Overlapping Constraints (2009).
Magnus Ågren, Nicolas Beldiceanu, Mats Carlsson, Mohammed Sbihi, Charlotte Truchet, Stéphane Zampelli
Technical report T2009-01, Swedish Institute of Computer Science.

A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules (2008).
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).
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.

A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules (2008).
Nicolas Beldiceanu, Mats Carlsson, Julien Martin
Technical report T2008-04, Swedish Institute of Computer Science.

A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects (2007).
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 Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects (2007).
Nicolas Beldiceanu, Emmanuel Poder, Rida Sadek, Mats Carlsson, Charlotte Truchet
Technical report T2007-08, Swedish Institute of Computer Science. 

 

References to Geost:

      description in the global constraint catalogue
      in CHOCO
      in SICStus
      in JaCoP , done outside NetWMS from our publications on geost)