JaCoP Library User's Guide

[1]  Mats Carlsson,et al.  SICStus Prolog user's manual, version 2.1 #8 , 1993 .

[2]  Carmen Gervet,et al.  Interval propagation to reason about sets: Definition and implementation of a practical language , 1997, Constraints.

[3]  Yuri Malitsky,et al.  Filtering Bounded Knapsack Constraints in Expected Sublinear Time , 2010, AAAI.

[4]  R. Baker Kearfott,et al.  Interval Newton Methods , 2009, Encyclopedia of Optimization.

[5]  Matthew L. Ginsberg,et al.  Limited Discrepancy Search , 1995, IJCAI.

[6]  Gert Smolka,et al.  Finite Domain Constraint Programming in Oz. A Tutorial , 1998 .

[7]  Mats Carlsson,et al.  A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects , 2007, CP.

[8]  Toby Walsh,et al.  Propagation algorithms for lexicographic ordering constraints , 2006, Artif. Intell..

[9]  Petr Vil ´ im,et al.  O(nlog n) Filtering Algorithms for Unary Resource Constraint , 2004 .

[10]  Peter J. Stuckey,et al.  Programming with Constraints: An Introduction , 1998 .

[11]  Jean-François Puget,et al.  A Fast Algorithm for the Bound Consistency of alldiff Constraints , 1998, AAAI/IAAI.

[12]  Daniel Diaz GNU PROLOG: A Native Prolog Compiler with Constraint Solving over Finite Domains , 2002 .

[13]  Petr Vilím,et al.  Edge Finding Filtering Algorithm for Discrete Cumulative Resources in O(kn log n){\mathcal O}(kn {\rm log} n) , 2009, CP.

[14]  Jimmy Ho-Man Lee,et al.  Global Constraints for Integer and Set Value Precedence , 2004, CP.

[15]  Warwick Harvey,et al.  Bounds Consistency Techniques For Long Linear Constraints , 2002 .

[16]  Joseph D. Scott Filtering Algorithms for Discrete Cumulative Resources , 2010 .

[17]  Eli Upfal,et al.  Propagating Knapsack Constraints in Sublinear Time , 2007, AAAI.

[18]  P. V. Beek,et al.  A fast and simple algorithm for bounds consistency of the all different constraint , 2003, IJCAI 2003.

[19]  Roland H. C. Yap,et al.  Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints , 2008, CP.

[20]  Paul Shaw,et al.  A Constraint for Bin Packing , 2004, CP.

[21]  Christophe Lecoutre Optimization of Simple Tabular Reduction for Table Constraints , 2008, CP.