Using constraints to break value symmetries in constraint satisfaction problems
暂无分享,去创建一个
[1] Jimmy Ho-Man Lee,et al. Increasing Constraint Propagation by Redundant Modeling: an Experience Report , 1999, Constraints.
[2] Thomas C. Henderson,et al. Arc and Path Consistency Revisited , 1986, Artif. Intell..
[3] Ian P. Gent,et al. Symmetry breaking during search in constraint programming , 1999 .
[4] Jimmy Ho-Man Lee,et al. Global Constraints for Integer and Set Value Precedence , 2004, CP.
[5] Christian Bessiere,et al. Using Constraint Metaknowledge to Reduce Arc Consistency Computation , 1999, Artif. Intell..
[6] Jean-Charles Régin,et al. Generalized Arc Consistency for Global Cardinality Constraint , 1996, AAAI/IAAI, Vol. 1.
[7] Bernard A. Nadel,et al. Constraint satisfaction algorithms 1 , 1989, Comput. Intell..
[8] Igor L. Markov,et al. Efficient symmetry breaking for Boolean satisfiability , 2003, IEEE Transactions on Computers.
[9] Ian P. Gent,et al. Reducing Symmetry in Matrix Models : SBDS v , 2001 .
[10] Carme Torras,et al. Exploiting symmetries within constraint satisfaction search , 2001, Artif. Intell..
[11] C. Voudouris,et al. Partial Constraint Satisfaction Problems and Guided Local Search , 1996 .
[12] Christian Bessiere,et al. Arc-Consistency and Arc-Consistency Again , 1993, Artif. Intell..
[13] Eugene C. Freuder,et al. Contradicting Conventional Wisdom in Constraint Satisfaction , 1994, ECAI.
[14] Nicolas Beldiceanu,et al. Arc-Consistency for a Chain of Lexicographic Ordering Constraints , 2002 .
[15] Toby Walsh,et al. CSPLIB: A Benchmark Library for Constraints , 1999, CP.
[16] Alan K. Mackworth. Consistency in Networks of Relations , 1977, Artif. Intell..
[17] Peter J. Stuckey,et al. A Lagrangian reconstruction of GENET , 2000, Artif. Intell..
[18] Jean-François Puget,et al. On the Satisfiability of Symmetrical Constrained Satisfaction Problems , 1993, ISMIS.
[19] Mats Carlsson,et al. Revisiting the Lexicographic Ordering Constraint , 2002 .
[20] Pascal Van Hentenryck,et al. Tractable Symmetry Breaking for CSPs with Interchangeable Values , 2003, IJCAI.
[21] Carmen Gervet,et al. Interval propagation to reason about sets: Definition and implementation of a practical language , 1997, Constraints.
[22] Peter J. Stuckey,et al. Propagation Redundancy in Redundant Modelling , 2003, CP.
[23] Belaid Benhamou,et al. Study of symmetry in Constraint Satisfaction Problems , 1994 .
[24] Roger Mohr,et al. Good Old Discrete Relaxation , 1988, ECAI.
[25] Toby Walsh,et al. Breaking Row and Column Symmetries in Matrix Models , 2002, CP.
[26] Eugene M. Luks,et al. Symmetry breaking and fault tolerance in boolean satisfiability , 2001 .
[27] John Gaschnig,et al. A General Backtrack Algorithm That Eliminates Most Redundant Tests , 1977, IJCAI.
[28] Roland H. C. Yap,et al. An optimal coarse-grained arc consistency algorithm , 2005, Artif. Intell..
[29] Jean-François Puget. Symmetry Breaking Using Stabilizers , 2003, CP.
[30] Robert M. Haralick,et al. Increasing Tree Search Efficiency for Constraint Satisfaction Problems , 1979, Artif. Intell..
[31] Barbara M. Smith,et al. Reducing Symmetry in a Combinatorial Design Problem , 2001 .
[32] Jimmy Ho-Man Lee,et al. Breaking value symmetries in matrix models using channeling constraints , 2005, SAC '05.
[33] Ian Miguel,et al. The Temporal Knapsack Problem and Its Solution , 2005, CPAIOR.
[34] Paul Walton Purdom,et al. Backtrack Searching in the Presence of Symmetry , 1988, Nord. J. Comput..
[35] Andrew J. Davenport,et al. GENET: A Connectionist Architecture for Solving Constraint Satisfaction Problems by Iterative Improvement , 1994, AAAI.
[36] Toby Walsh,et al. Multiset Ordering Constraints , 2003, IJCAI.
[37] Barbara M. Smith,et al. Partial Symmetry Breaking , 2002, CP.
[38] T. Walsh,et al. Matrix Modelling , 2001 .
[39] Ian P. Gent. A Symmetry Breaking Constraint for Indistinguishable Values , 2001 .
[40] Jean-François Puget,et al. Symmetry Breaking Revisited , 2002, Constraints.
[41] Steve Linton,et al. Generic SBDD Using Computational Group Theory , 2003, CP.
[42] Jimmy Ho-Man Lee,et al. Model induction: a new source of CSP model redundancy , 2002, AAAI/IAAI.
[43] Paul Walton Purdom,et al. How to Search Efficiently , 1981, IJCAI.
[44] Peter J. Stuckey,et al. Propagation Redundancy for Permutation Channels , 2003, IJCAI.
[45] Carmen Gervet,et al. Set Intervals in Constraint Logic Programming: Definition and implementation of a language. (Intervalles ensemblistes en programmation logique par contraintes : définition formelle et concrète d'un langage) , 1995 .
[46] Eugene C. Freuder. Eliminating Interchangeable Values in Constraint Satisfaction Problems , 1991, AAAI.
[47] Mark W. Perlin,et al. Arc consistency for factorable relations , 1991, [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91.
[48] Warwick Harvey,et al. Groups and Constraints: Symmetry Breaking during Search , 2002, CP.
[49] Meinolf Sellmann,et al. Symmetry Breaking , 2001, CP.
[50] Rina Dechter,et al. Network-Based Heuristics for Constraint-Satisfaction Problems , 1987, Artif. Intell..
[51] Yishai A. Feldman,et al. Portability by automatic translation: a large-scale case study , 1999 .
[52] Pascal Brisset,et al. Solving Kirkman’s Schoolgirl Problem in a Few Seconds , 2004, Constraints.
[53] Steve Linton,et al. Tractable Symmetry Breaking Using Restricted Search Trees , 2004, ECAI.
[54] Ho-fung Leung,et al. Extending GENET for non-binary CSP's , 1995, Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence.
[55] Pascal Brisset,et al. Solving the Kirkman's Schoolgirl Problem in a Few Seconds , 2002, CP.
[56] Ugo Montanari,et al. Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..
[57] Barbara M. Smith,et al. The Phase Transition Behaviour of Maintaining Arc Consistency , 1996, ECAI.
[58] Kenneth C. Gilbert,et al. MULTIDIMENSIONAL ASSIGNMENT PROBLEMS , 1988 .
[59] P. A. Geelen,et al. Dual Viewpoint Heuristics for Binary Constraint Satisfaction Problems , 1992, ECAI.
[60] Zeynep Kiziltan,et al. Symmetry breaking ordering constraints , 2003, AI Commun..
[61] Solomon W. Golomb,et al. Backtrack Programming , 1965, JACM.
[62] Daniel Brélaz,et al. New methods to color the vertices of a graph , 1979, CACM.
[63] Christian Bessiere,et al. Refining the Basic Constraint Propagation Algorithm , 2001, JFPLC.
[64] Eugene M. Luks,et al. The Complexity of Symmetry-Breaking Formulas , 2004, Annals of Mathematics and Artificial Intelligence.
[65] Steven Minton,et al. Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems , 1992, Artif. Intell..
[66] James M. Crawford,et al. Symmetry-Breaking Predicates for Search Problems , 1996, KR.
[67] Ian Miguel,et al. Constraints for Breaking More Row and Column Symmetries , 2003, CP.
[68] Michela Milano,et al. Global Cut Framework for Removing Symmetries , 2001, CP.
[69] Jean-Charles Régin,et al. A Filtering Algorithm for Constraints of Difference in CSPs , 1994, AAAI.