Effiziente und skalierbare Logik-Anwendungen

  • Forschungsthema:Parallele und verteilte Algorithmen, SAT Solving, automatisierte Planung
  • Typ:Bachelor-/Masterarbeit
  • Betreuer:

    Dominik Schreiber

Beschreibung

Im Rahmen des groben Themengebiets effizienter und skalierbarer Anwendungen für (aussagen)logisches Schließen können auf Anfrage wechselnde Themen zu den folgenden Bereichen bearbeitet werden:

  • High Performance SAT Solving
  • "Malleabilisierung" von Anwendungen mit kombinatorischem Suchraum
  • Hierarchische Automatisierte Planung

Details befinden sich in der oben verlinkten PDF (in englischer Sprache).