|
Entwurf und Implementierung von Routing-Algorithmen in TikZ
|
abgeschlossen
|
|
Algorithmisches Zeichnen von Automaten
|
abgeschlossen
|
|
Algorithmisches Zeichnen von planaren Graphen mit TikZ
|
abgeschlossen
|
|
Semantic-Web-basierte Methoden zur Untersuchung von Proteinen
|
abgeschlossen
|
|
Möglichkeiten und Grenzen der parallelen Berechnung von Kerneln
|
abgeschlossen
|
|
Implementierung und Analyse von Parallelen Vertex-Cover Kernelisierungen
|
abgeschlossen
|
|
Konstruktion von Lösungen für Unary-Subsetsum und verwandte Probleme in TC0
|
abgeschlossen
|
|
Dynamische Berechnung von Kerneln für das Vertex-Cover Problem
|
abgeschlossen
|
|
Beschreibung parametrisierter Probleme in First-Order-Logik mithilfe von arithmetischen Operatoren
|
abgeschlossen
|
|
Untersuchungen zur Fixed-Parameter-Tractability des
Model-Checking-Problems auf eingeschränkten universellen
Fragmenten der erst-stufigen Logik
|
abgeschlossen
|
|
Beschleunigung von dynamischen Programmen auf
Baumzerlegungen mit Hilfe von binären Entscheidungsdiagrammen
|
abgeschlossen
|
|
Entwicklung eines auf Baumweite basierten MaxSAT-Solver
|
abgeschlossen
|
|
Parallele Datenreduktion für das Odd Cycle Transversal Problem
|
abgeschlossen
|
|
Algorithmen auf Graphen mit kleiner Twinwidth
|
in Bearbeitung
|
|
Baumweite erhaltende Reduktionen
|
in Bearbeitung
|
|
Analyse eines parallelen Semisortierverfahrens
|
in Bearbeitung
|
|
Flussbasierte Heuristiken zum Bestimmen von Baumzerlegungen
|
offen
|
|
Implementation eines exakten Algorithmus zur Bestimmung von Baumzerlegungen
|
offen
|
|
Implementation eines Preprocessors für MaxSAT
|
offen
|
|
Entwurf eines SAT-Solvers basierend auf Backdoors
|
offen
|
|
Von Baumweite geleitete MaxSAT-Heuristiken
|
offen
|
