Wong Siu Ham. / Thesis (M.Phil.)--Chinese University of Hong Kong, 2001. / Includes bibliographical references (leaves 131-138). / Abstracts in English and Chinese. / Abstract --- p.ii / Acknowledgments --- p.vi / Chapter 1 --- Introduction --- p.1 / Chapter 1.1 --- Motivation for Integration --- p.2 / Chapter 1.2 --- Thesis Overview --- p.4 / Chapter 2 --- Preliminaries --- p.5 / Chapter 2.1 --- Constraint Programming --- p.5 / Chapter 2.1.1 --- Constraint Satisfaction Problems (CSP's) --- p.6 / Chapter 2.1.2 --- Satisfiability (SAT) Problems --- p.10 / Chapter 2.1.3 --- Systematic Search --- p.11 / Chapter 2.1.4 --- Local Search --- p.13 / Chapter 2.2 --- Linear Programming --- p.17 / Chapter 2.2.1 --- Linear Programming Problems --- p.17 / Chapter 2.2.2 --- Simplex Method --- p.19 / Chapter 2.2.3 --- Mixed Integer Programming Problems --- p.27 / Chapter 3 --- Integration of Constraint Programming and Linear Program- ming --- p.29 / Chapter 3.1 --- Problem Definition --- p.29 / Chapter 3.2 --- Related works --- p.30 / Chapter 3.2.1 --- Illustrating the Performances --- p.30 / Chapter 3.2.2 --- Improving the Searching --- p.33 / Chapter 3.2.3 --- Improving the representation --- p.36 / Chapter 4 --- A Scheme of Integration for Solving Constraint Satisfaction Prob- lem --- p.37 / Chapter 4.1 --- Integrated Algorithm --- p.38 / Chapter 4.1.1 --- Overview of the Integrated Solver --- p.38 / Chapter 4.1.2 --- The LP Engine --- p.44 / Chapter 4.1.3 --- The CP Solver --- p.45 / Chapter 4.1.4 --- Proof of Soundness and Completeness --- p.46 / Chapter 4.1.5 --- Compared with Previous Work --- p.46 / Chapter 4.2 --- Benchmarking Results --- p.48 / Chapter 4.2.1 --- Comparison with CLP solvers --- p.48 / Chapter 4.2.2 --- Magic Squares --- p.51 / Chapter 4.2.3 --- Random CSP's --- p.52 / Chapter 5 --- A Scheme of Integration for Solving General Constrained Opti- mization Problem --- p.68 / Chapter 5.1 --- Integrated Optimization Algorithm --- p.69 / Chapter 5.1.1 --- Overview of the Integrated Optimizer --- p.69 / Chapter 5.1.2 --- The CP Solver --- p.74 / Chapter 5.1.3 --- The LP Engine --- p.75 / Chapter 5.1.4 --- Proof of the Optimization --- p.77 / Chapter 5.2 --- Benchmarking Results --- p.77 / Chapter 5.2.1 --- Weighted Magic Square --- p.77 / Chapter 5.2.2 --- Template design problem --- p.78 / Chapter 5.2.3 --- Random GCOP's --- p.79 / Chapter 6 --- Conclusions and Future Work --- p.97 / Chapter 6.1 --- Conclusions --- p.97 / Chapter 6.2 --- Future work --- p.98 / Chapter 6.2.1 --- Detection of implicit equalities --- p.98 / Chapter 6.2.2 --- Dynamical variable selection --- p.99 / Chapter 6.2.3 --- Analysis on help of linear constraints --- p.99 / Chapter 6.2.4 --- Local Search and Linear Programming --- p.99 / Appendix --- p.101 / Proof of Soundness and Completeness --- p.101 / Proof of the optimization --- p.126 / Bibliography --- p.130
| Identifer | oai:union.ndltd.org:cuhk.edu.hk/oai:cuhk-dr:cuhk_323420 |
| Date | January 2001 |
| Contributors | Wong, Siu Ham., 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, xiii, 138 leaves : ill. (some col.) ; 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.0027 seconds