University of AmsterdamUniversity of AmsterdamUvA

  • Terms of use
  • Contact

UvA-DARE (Digital Academic Repository)

  • Home
  • Advanced Search
  • Browse
  • My selection

Search UvA-DARE

Author
P. Zoeteweij
Title
Composing constraint solvers
Supervisors
K.R. Apt
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.

PrintPrint this pageShareShare via emailShare on facebookShare on linkedinShare on twitter
  • University library
  • About UvA-DARE
  • Disclaimer
Copyright UvA 2014