Beschreibung

Im Rahmen des groben Themengebiets der skalierbaren Verarbeitung von kombinatorischen NP-schwierigen Problemen 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).