Thom Frühwirth - Themen für Praktika, Diplomarbeiten oder Dissertationen

Unten finden Sie eine Liste möglicher Themen für Praktika, Diplomarbeiten oder Dissertationen im Bereich der Constraint-Programmierung/Constraint Handling Rules. Ein gemeinsamer Ausgangspunkt für die nachfolgenden Vorschläge ist die CHR-Webseite.

Probabilistic/Randomized Constraint Handling Rules (CHR)
Soft Constraints (Halbring-Constraints)
Linear Logic CHR (alternative Semantik, für logische Algorithmen)
Verteilte und nebenläufige Abläufe/Parallelität

Logische Algorithmen (Implementierung, Analyse, z.B. union-find, Sortieren)
Lexicographic Order Constraints
Globale Constraints (Scheduling, alldifferent...)

Automatisches Ask/Entailment/Implikation für Constraints
Reified/Meta-Constraints
Automatische Variablen-Projektion/Eliminierung für Constraints
Dynamische/zurücknehmbare/löschbare Constraints
Automatische Erzeugung von Strategien für Labeling
Automatische Erzeugung von Regeln für Constraintlöser
Implementierung, Anpassung und Kombination von Constraintlösern (Nebenläufigkeit, Zusammenspiel)

Automatische Komplexätsanalyse (Terminierung, auch für refined semantics, Indizierung)
Source-to-source Transformationen (zur Implementierung von Spracherweiterungen und Analysen)
Inverse/rückwärtslaufende Berechnungen (zur Programanalyse, vgl. kompositionelle Semantik)
Programmtransformation/Spezialisierung/partielle Evaluation (zur Programmoptimierung und -analyse)

Constraint-basierte Programmanalyse in CHR
Eine logische Rekonstruktion von Indexicals in CHR

Compiler-Optimierungen, z.B. mit dem RETE/TREAT-Algorithmus, Indizierung...
Werkzeuge für Debugging, Tracing, Terminierungs- und Konfluenzanalyse
Mehrere Constraintspeicher
Abduktion und Negation für/in CHR