Verbinden von Suchabstraktionen zur echten Suche

Studienarbeiten

• Themenvorschläge für Studien- und Abschlussarbeiten
• Abgeschlossene Arbeiten
  • Algebra und Diskrete Strukturen
  • Algebraische und logische Grundlagen der Informatik
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Wissensbasierte Systeme
• Laufende Studienarbeiten

Toggle side column

Verbinden von Suchabstraktionen zur echten Suche

Verfügbar als Thema einer Bachelorarbeit, Masterarbeit, Diplomarbeit, Studienarbeit

•   Betreuer Norbert Manthey
•   Wissensverarbeitung
•   Beginn

Moderne SAT Solver sind sehr komplexe Systeme mit vielen integrierten Techniken und Heuristiken. Um diese intuitiv zu verstehen wurde eine Abstraktion entwickelt: die Suche eines Ausgangs in einem Labyrinth. Zu den verschiedenen Situationen im Labyrinth sollen entsprechende Formeln gefunden werden, sodass sich der SAT Solver bei der Suche genau so verhält wie der Agent im Labyrinth.