Untersuchung von Kombinatorischen Strukturen, Komplexitätsaspekten sowie (Optimierungs-)Algorithmen in speziellen propositionalen Formeln, insbesondere gemischte Hornformeln und lineare Formeln. Des Weiteren: Weiterentwicklung bestehender SAT-Löser durch Komponenten, die die spezielle Struktur gemischter Hornformeln ausnutzen/ unterstützen. Ferner: Anwendungen der Theorie der gemischten Hornformeln auf Tanglegrams, Levelgraph-Probleme u.ä.

• Prof. Dr. rer. nat. habil. Stefan Porschen (Projektleitung)

• Universität Köln