Cheng Chi Kan. / Thesis (M.Phil.)--Chinese University of Hong Kong, 2003. / Includes bibliographical references (leaves 101-105). / Abstracts in English and Chinese. / Chapter 1 --- Introduction --- p.1 / Chapter 2 --- Background --- p.4 / Chapter 2.1 --- Propagation Based Constraint Solving --- p.4 / Chapter 2.1.1 --- "Valuations, Domains and Constraints" --- p.4 / Chapter 2.1.2 --- Solving a CSP --- p.6 / Chapter 2.1.3 --- Propagators --- p.7 / Chapter 2.1.4 --- Domain Consistency --- p.8 / Chapter 2.1.5 --- Bounds Consistency --- p.9 / Chapter 2.1.6 --- Propagation-based Backtracking Search --- p.10 / Chapter 2.2 --- Disjunction --- p.12 / Chapter 2.2.1 --- Speculative --- p.12 / Chapter 2.2.2 --- Cardinality --- p.12 / Chapter 2.2.3 --- Constructive Disjunction --- p.13 / Chapter 3 --- Box Constraint Collections --- p.15 / Chapter 3.1 --- Box Constraint Collections --- p.15 / Chapter 3.2 --- Separable Constraints --- p.17 / Chapter 4 --- Building Box Constraint Collections --- p.22 / Chapter 4.1 --- The bccFinder Algorithm --- p.22 / Chapter 4.2 --- Heuristics for the bccFinder Algorithm --- p.30 / Chapter 4.2.1 --- The Order of Box Expansion --- p.30 / Chapter 4.2.2 --- The Conditions of Box Expansion --- p.35 / Chapter 5 --- Compiling BCCs into Indexicals --- p.37 / Chapter 5.1 --- Indexicals --- p.37 / Chapter 5.2 --- Basic Compilation --- p.45 / Chapter 5.3 --- Optimizing Compilation --- p.49 / Chapter 5.3.1 --- Subsumption Indexicals --- p.49 / Chapter 5.3.2 --- Union Indexicals --- p.50 / Chapter 5.4 --- Hybrid Approach --- p.71 / Chapter 6 --- Experiments --- p.76 / Chapter 7 --- Related Work --- p.93 / Chapter 8 --- Concluding Remarks --- p.98 / Chapter 8.1 --- Contributions --- p.98 / Chapter 8.2 --- Future Work --- p.99
| Identifer | oai:union.ndltd.org:cuhk.edu.hk/oai:cuhk-dr:cuhk_324316 |
| Date | January 2003 |
| Contributors | Cheng, Chi Kan., 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, x, 105 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.0014 seconds