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

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