On constraint satisfaction and computer-aided layout design

Die vorliegende Dissertation befaßt sich mit Constraint-Verarbeitung und deren Einsatz im rechner-unterstützten Plazierungs-Entwurf. Zusätzlich finden evolutionäre Berechnungs-Techniken im genannten Anwendungsgebiet Verwendung. Die Arbeit stellt verschiedene Algorithmen zur globalen Constraint-Erfüllung vor und skizziert Möglichkeiten sowohl hinsichtlich einer Parallelisierung als auch in bezug auf das intelligente Aktualisieren eines Constraint-Netzwerkes. Beim Plazierungs-Entwurf erweist sich eine topologische Wissensdarstellung, welche nicht auf der Basis quantitativer Koordinaten arbeitet sondern qualitative Layout-Relationen verwaltet, als vorteilhaft. Diese Doktorarbeit zeigt den Einsatz interessanter Techniken aus dem Bereich Künstliche Intelligenz in einem Feld mit engen Beziehungen zu kombinatorischen Problemen im Operations Research.