Dreifacher Erfolg für Vertretungsprofessor Markus Anders bei der SAT Competition 2026

Dr. Markus Anders, Vertretungsprofessor für Algorithmen und Komplexität an der RPTU, hat bei der SAT Competition 2026 herausragende Ergebnisse erzielt. Der Wettbewerb zählt weltweit zu den bedeutendsten Leistungsvergleichen für Verfahren zur automatischen Lösung komplexer logischer Probleme.

Gemeinsam mit Cayden Codel von der Carnegie Mellon University setzte sich Anders in allen Hauptkategorien gegen die internationale Konkurrenz durch. Ihre Verfahren belegten sowohl in der Gesamtwertung als auch in den Kategorien für erfüllbare und unerfüllbare Problemstellungen – SAT und UNSAT – jeweils den ersten Platz.

Auch in den parallelen und cloudbasierten Wettbewerben erreichten die beteiligten Teams den ersten Platz. Die Beiträge entstanden gemeinsam mit Dominik Schreiber, Niccolò Rigi-Luperti und Anna Görth vom Karlsruher Institut für Technologie (KIT). Damit gelang den Forschenden ein außergewöhnlicher Erfolg bei einem Wettbewerb, der seit mehr als zwei Jahrzehnten als internationaler Maßstab gilt.

SAT-Verfahren prüfen automatisiert, ob sich komplexe logische Bedingungen gleichzeitig erfüllen lassen. Sie gehören zu den zentralen Werkzeugen der Informatik und kommen unter anderem bei der Fehlerprüfung von Hard- und Software, der Optimierung von Produktions- und Verkehrsabläufen sowie bei Planungsaufgaben zum Einsatz. Die zugrunde liegenden Forschungsarbeiten wurden bereits mit einem Best Paper Award und einem Distinguished Paper Award auf hochrangigen Konferenzen ausgezeichnet. Der Wettbewerbserfolg unterstreicht die wissenschaftliche Relevanz und internationale Sichtbarkeit der Forschung am Fachbereich Informatik der RPTU.

Der Fachbereich gratuliert Dr. Anders herzlich zu diesem Erfolg.