High-level specification and efficient solving of constraint satisfaction problems

Abstract:

  This dissertation MIGHT be available in PDF-format. Check this page to see if it is available for download.