Constraint-Programmierung: Grundlagen und Anwendungen

این کتاب درسی اولین مقدمه جامع و یکپارچه برای برنامه نویسی محدودیت است. حوزه هنوز جوان از همان ابتدا انگیزه جدیدی به تحقیق و عمل بخشیده است. از برنامه نویسی محدودیت می توان برای استدلال با اطلاعات ناقص (مانند تجزیه و تحلیل مالی) و برای حل مسائل ترکیبی (مانند زمان بندی، بهینه سازی طراحی) در سیستم های پشتیبانی تصمیم استفاده کرد.
این کتاب یک ارائه فشرده و به روز از جنبه‌ها و پیشرفت‌های اساسی در محدودیت منطق‌محور -برنامه‌نویسی - از توصیف تئوری کاملاً مبتنی بر کلاس‌های مختلف زبان‌های برنامه‌نویسی گرفته تا انواع رایج سیستم‌های محدودیت و حل‌کننده‌ها تا مثال‌های کاربردی عینی از عمل. صفحات WWW همراه با این کتاب شامل نرم افزار، آموزش و موارد دیگر است.

Dieses Lehrbuch ist die erste umfassende und einheitliche Einführung in die Constraint-Programmierung. Das noch junge Gebiet hat von Anfang an Forschung und Praxis neue Impulse gegeben. Constraint-Programmierung kann vorteilhaft eingesetzt werden zum Schließen auch bei unvollständiger Information (z.B. Finanzanalyse) und zum Lösen kombinatorischer Probleme (z.B. Zeitplanung, Entwurfsoptimierung) in Entscheidungsunterstützungssystemen.
Das Buch bietet eine kompakte aktuelle Darstellung der wesentlichen Aspekte und Entwicklungen in der logikorientierten Constraint-Programmierung - von der theoretisch fundierten Beschreibung der unterschiedlichen Klassen von Programmiersprachen über die gängigen Arten von Constraintsystemen und -lösern bis zu konkreten Anwendungsbeispielen aus der Praxis. Auf den WWW-Seiten zu diesem Buch finden sich Software, Lehrmaterial und mehr.