Tabellenverzeichnis

• 3.1. Datenbank-Tabelle für ein Tupel-Constraint
• 4.1. Vergleich unterschiedlicher Constraint-Bibliotheken
• 5.1. Übersicht über die worst-case Zeit- und Platzkomplexitäten
• 5.2. Klassifizierung von Suchstrategien
• 5.3. Beispiel für Forward Checking