Realizations of common channeling constraints in constraint satisfaction: theory and algorithms.

• Other Authors: Lam, Yee Gordon.
• Format: Others
• Language: English; Chinese
• Published: 2006
• Subjects: Constraints (Artificial intelligence)
• Online Access: http://library.cuhk.edu.hk/record=b5892946; http://repository.lib.cuhk.edu.hk/en/item/cuhk-325727

Lam Yee Gordon. === Thesis (M.Phil.)--Chinese University of Hong Kong, 2006. === Includes bibliographical references (leaves 109-117). === Abstracts in English and Chinese. === Chapter 1 --- Introduction --- p.1 === Chapter 1.1 --- Constraint Satisfaction Problems --- p.1 === Chapter 1.2 --- Motivations and Goals --- p.2 === Chapter 1.3 --- Outline of the Thesis --- p.4 === Chapter 2 --- Background --- p.5 === Chapter 2.1 --- CSP --- p.5 === Chapter 2.2 --- Classes of Variable --- p.6 === Chapter 2.3 --- Solution of a CSP --- p.7 === Chapter 2.4 --- Constraint Solving Techniques --- p.8 === Chapter 2.4.1 --- Local Consistencies --- p.8 === Chapter 2.4.2 --- Constraint Tightness --- p.10 === Chapter 2.4.3 --- Tree Search --- p.10 === Chapter 2.5 --- Graph --- p.14 === Chapter 3 --- Common Channeling Constraints --- p.16 === Chapter 3.1 --- Models --- p.16 === Chapter 3.2 --- Channeling Constraints --- p.17 === Chapter 3.2.1 --- Int-Int Channeling Constraint (II) --- p.18 === Chapter 3.2.2 --- Set-Int Channeling Constraint (SI) --- p.21 === Chapter 3.2.3 --- Set-Set Channeling Constraint (SS) --- p.24 === Chapter 3.2.4 --- Int-Bool Channeling Constraint (IB) --- p.25 === Chapter 3.2.5 --- Set-Bool Channeling Constraint (SB) --- p.27 === Chapter 3.2.6 --- Discussions --- p.29 === Chapter 4 --- Realization in Existing Solvers --- p.31 === Chapter 4.1 --- Implementation by if-and-only-if constraint --- p.32 === Chapter 4.1.1 --- "Realization of iff in CHIP, ECLiPSe, and SICStus Prolog" --- p.32 === Chapter 4.1.2 --- Realization of iff in Oz and ILOG Solver --- p.32 === Chapter 4.2 --- Implementations by Element Constraint --- p.38 === Chapter 4.2.1 --- "Realization of ele in CHIP, ECLiPSe, and SICStus Prolog" --- p.40 === Chapter 4.2.2 --- Realization of ele in Oz and ILOG Solver --- p.40 === Chapter 4.3 --- Global Constraint Implementations --- p.41 === Chapter 4.3.1 --- "Realization of glo in CHIP, SICStus Prolog, and ILOG Solver" --- p.42 === Chapter 5 --- Consistency Levels --- p.43 === Chapter 5.1 --- Int-Int Channeling (II) --- p.44 === Chapter 5.2 --- Set-Int Channeling (SI) --- p.49 === Chapter 5.3 --- Set-Set Channeling Constraints (SS) --- p.53 === Chapter 5.4 --- Int-Bool Channeling (IB) --- p.55 === Chapter 5.5 --- Set-Bool Channeling (SB) --- p.57 === Chapter 5.6 --- Discussion --- p.59 === Chapter 6 --- Algorithms and Implementation --- p.61 === Chapter 6.1 --- Source of Inefficiency --- p.62 === Chapter 6.2 --- Generalized Element Constraint Propagators --- p.63 === Chapter 6.3 --- Global Channeling Constraint --- p.66 === Chapter 6.3.1 --- Generalization of Existing Global Channeling Constraints --- p.66 === Chapter 6.3.2 --- Maintaining GAC on Int-Int Channeling Constraint --- p.68 === Chapter 7 --- Experiments --- p.72 === Chapter 7.1 --- Int-Int Channeling Constraint --- p.73 === Chapter 7.1.1 --- Efficient AC implementations --- p.74 === Chapter 7.1.2 --- GAC Implementations --- p.75 === Chapter 7.2 --- Set-Int Channeling Constraint --- p.83 === Chapter 7.3 --- Set-Set Channeling Constraint --- p.89 === Chapter 7.4 --- Int-Bool Channeling Constraint --- p.89 === Chapter 7.5 --- Set-Bool Channeling Constraint --- p.91 === Chapter 7.6 --- Discussion --- p.93 === Chapter 8 --- Related Work --- p.101 === Chapter 8.1 --- Empirical Studies --- p.101 === Chapter 8.2 --- Theoretical Studies --- p.102 === Chapter 8.3 --- Applications --- p.103 === Chapter 8.4 --- Other Kinds of Channeling Constraints --- p.104 === Chapter 9 --- Concluding Remarks --- p.106 === Chapter 9.1 --- Contributions --- p.106 === Chapter 9.2 --- Future Work --- p.108 === Bibliography --- p.109