Tractable projection-safe soft global constraints in weighted constraint satisfaction.

Wu, Yi.Thesis (M.Phil.)--Chinese University of Hong Kong, 2011.Includes bibliographical references (p. 74-80).Abstracts in English and Chinese.Chapter 1 --- Introduction --- p.1Chapter 1.1 --- Constraint Satisfaction Problems --- p.1Chapter 1.2 --- Weighted Constraint Satisfaction Problems --- p.3Chapter 1.3 --- Motivation and Goal --- p.4Chapter 1.4 --- Outline of the Thesis --- p.5Chapter 2 --- Background --- p.7Chapter 2.1 --- Constraint Satisfaction Problems --- p.7Chapter 2.1.1 --- Backtracking Tree search --- p.8Chapter 2.1.2 --- Local consistencies in CSP --- p.11Chapter 2.2 --- Weighted Constraint Satisfaction Problems --- p.18Chapter 2.2.1 --- Branch and Bound Search --- p.20Chapter 2.2.2 --- Local Consistencies in WCSP --- p.21Chapter 2.3 --- Global Constraints --- p.31Chapter 3 --- Tractable Projection-Safety --- p.36Chapter 3.1 --- Tractable Projection-Safety: Definition and Analysis --- p.37Chapter 3.2 --- Polynomially Decomposable Soft Constraints --- p.42Chapter 4 --- Examples of Polynomially Decomposable Soft Global Constraints --- p.48Chapter 4.1 --- Soft Among Constraint --- p.49Chapter 4.2 --- Soft Regular Constraint --- p.51Chapter 4.3 --- Soft Grammar Constraint --- p.54Chapter 4.4 --- Max_Weight/Min Weight Constraint --- p.57Chapter 5 --- Experiments --- p.61Chapter 5.1 --- The car Sequencing Problem --- p.61Chapter 5.2 --- The nonogram problem --- p.62Chapter 5.3 --- Well-Formed Parenthesis --- p.64Chapter 5.4 --- Minimum Energy Broadcasting Problem --- p.64Chapter 6 --- Related Work --- p.67Chapter 6.1 --- WCSP Consistencies --- p.67Chapter 6.2 --- Global Constraints . --- p.68Chapter 7 --- Conclusion --- p.71Chapter 7.1 --- Contributions --- p.71Chapter 7.2 --- Future Work --- p.72Bibliography --- p.7