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
| Identifer | oai:union.ndltd.org:cuhk.edu.hk/oai:cuhk-dr:cuhk_325727 |
| Date | January 2006 |
| Contributors | Lam, Yee Gordon., Chinese University of Hong Kong Graduate School. Division of Computer Science and Engineering. |
| Source Sets | The Chinese University of Hong Kong |
| Language | English, Chinese |
| Detected Language | English |
| Type | Text, bibliography |
| Format | print, xv, 117 leaves : ill. ; 30 cm. |
| Rights | Use of this resource is governed by the terms and conditions of the Creative Commons “Attribution-NonCommercial-NoDerivatives 4.0 International” License (http://creativecommons.org/licenses/by-nc-nd/4.0/) |
Page generated in 0.0023 seconds