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.