Complexity of Constraints, Fachbücher von Heribert Vollmer, Nadia Creignou, Phokion G. Kolaitis

Das Buch "Complexity of Constraints" bietet eine umfassende Analyse von Constraint Satisfaction Problems (CSPs), die in verschiedenen Bereichen der Informatik von Bedeutung sind, darunter künstliche Intelligenz, Datenbanksysteme, Schaltungsdesign und Netzwerkoptimierung. Die Autoren untersuchen die rechnerische Komplexität algorithmischer Aufgaben, die mit CSPs verbunden sind, und beleuchten deren Auswirkungen auf die Gestaltung von Datenbankabfragesprachen, Datenmining-Strategien und Planungsansätzen. Diese Sammlung von Fachbeiträgen entstand aus einem internationalen Seminar, das 2006 im Dagstuhl Schloss in Deutschland stattfand. Die Beiträge wurden von Experten auf dem Gebiet begutachtet und überarbeitet, um den aktuellen Stand der Forschung zu präsentieren. Darüber hinaus enthält der Band eine Wiederveröffentlichung eines Beitrags von Kolaitis und Vardi, der sich mit dem logischen Ansatz zur Constraint Satisfaction befasst.