Integrating Strong Local Consistencies into Constraint Solvers
暂无分享,去创建一个
[1] Christian Bessiere,et al. Enforcing Arc Consistency on Global Constraints by Solving Subproblems on the Fly , 1999, CP.
[2] S. Piechowiak,et al. Handling Heterogeneous Constraints in Revision Ordering Heuristics , 2010 .
[3] Jean-Charles Régin,et al. A Filtering Algorithm for Constraints of Difference in CSPs , 1994, AAAI.
[4] Eugene C. Freuder. A Sufficient Condition for Backtrack-Free Search , 1982, JACM.
[5] Christophe Lecoutre,et al. A Study of Residual Supports in Arc Consistency , 2007, IJCAI.
[6] Rina Dechter,et al. Principles and Practice of Constraint Programming – CP 2000 , 2001, Lecture Notes in Computer Science.
[7] Pascal Van Hentenryck,et al. A Generic Arc-Consistency Algorithm and its Specializations , 1992, Artif. Intell..
[8] Pascal Van Hentenryck,et al. To Be or Not to Be ... a Global Constraint , 2003, CP.
[9] Christian Bessiere,et al. From Restricted Path Consistency to Max-Restricted Path Consistency , 1997, CP.
[10] Christian Bessiere,et al. Arc Consistency for General Constraint Networks: Preliminary Results , 1997, IJCAI.
[11] Julien Vion,et al. Light Algorithms for Maintaining Max-RPC During Search , 2009, SARA.
[12] Francesca Rossi,et al. Principles and Practice of Constraint Programming – CP 2003 , 2003, Lecture Notes in Computer Science.
[13] Eugene C. Freuder,et al. Neighborhood Inverse Consistency Preprocessing , 1996, AAAI/IAAI, Vol. 1.
[14] Toby Walsh,et al. Inverse Consistencies for Non-Binary Constraints , 2006, ECAI.
[15] Peter van Beek,et al. Local and Global Relational Consistency , 1995, Theor. Comput. Sci..
[16] Laurence A. Wolsey,et al. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings , 2007, CPAIOR.
[17] Xavier Lorca,et al. Choco: an Open Source Java Constraint Programming Library , 2008 .
[18] Nicolas Beldiceanu,et al. Global Constraint Catalog , 2005 .
[19] Christophe Lecoutre,et al. Path Consistency by Dual Consistency , 2007, CP.
[20] Joxan Jaffar,et al. Principles and Practice of Constraint Programming – CP’99 , 1999, Lecture Notes in Computer Science.
[21] Kostas Stergiou. Heuristics for Dynamically Adapting Propagation , 2008, ECAI.
[22] P. Berlandier. Improving domain filtering using restricted path consistency , 1995, Proceedings the 11th Conference on Artificial Intelligence for Applications.
[23] Philippe Jégou,et al. A filtering process for general constraint-satisfaction problems: achieving pairwise-consistency using an associated binary representation , 1989, [Proceedings 1989] IEEE International Workshop on Tools for Artificial Intelligence.
[24] Christian Bessiere,et al. Theoretical analysis of singleton arc consistency and its extensions , 2008, Artif. Intell..
[25] Christian Bessiere,et al. An Original Constraint Based Approach for Solving over Constrained Problems , 2000, CP.
[26] Toby Walsh,et al. Domain filtering consistencies for non-binary constraints , 2008, Artif. Intell..
[27] Christian Bessiere,et al. Domain Filtering Consistencies , 2011, J. Artif. Intell. Res..
[28] Olivier Lhomme,et al. Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints , 2004, CPAIOR.
[29] Christian Bessière. Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings , 2007, CP.
[30] Pascal Van Hentenryck,et al. The Comet Programming Language and System , 2005, CP.