- Author
-
P. Zoeteweij
- Title
- Composing constraint solvers
- Supervisors
- Award date
- 29 November 2005
- Number of pages
- 239
- Publisher
- Enschede: PrintPartners Ipskamp
- ISBN
- 9061965330
9789061965336 - Document type
- PhD thesis
- Faculty
- Interfacultary Research Institutes
- Institute
- Institute for Logic, Language and Computation (ILLC)
- Note
- Research conducted at: Universiteit van Amsterdam
- Permalink
- http://hdl.handle.net/11245/1.247324
- Downloads
-
-
Thesis
-
Cover
-
Titlepage
-
Contents
-
Acknowledgments
-
Chapter 1 Introduction
-
Chapter 2 Constraint Solving
-
Chapter 3 OpenSolver: a Software Component
-
Chapter 4 Applications
-
Chapter 5 An Analysis of Arithmetic Constraints on Integer Intervals
-
Chapter 6 Job-Shop Scheduling in OpenSolver
-
Chapter 7 Applications of Nested Search
-
Chapter 8 A Component-Based Parallel Constraint Solver
-
Chapter 9 Distributed Constraint Solving
-
Chapter 10 Conclusions
-
Appendix A Proofs
-
Bibliography
-
Index
-
Samenvatting
-
Titles in the IPA Dissertation Series
-
Cover
-
Disclaimer/Complaints regulations
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.