Große Erfolge an der Professur von Prof. Armin Biere

Unsere Forschungsteams an der Professur für Rechnerarchitektur von Prof. Armin Biere am Institut für Informatik haben bei den internationalen Konferenzen herausragende Erfolge erzielt.

SAT Competition 2025:
Die Teams erreichten insgesamt 6 Medaillen (davon 3 Gold). Der SAT Competition ist ein weltweiter Wettbewerb, bei dem Programme für die Lösung von logischen Problemen (SAT = Statisfiability Testing) getestet werden, die in Bereichen wie Softwareverifikation, Optimierung oder Krytografie Anwendung finden:

• Parallel-Track: für MallobSat: 3 Medaillen (davon 2 erste Plätze)
• Haupt-Track: Kissat: 2 Medaillen, CaDiCaL: 1 Medaille (erste Platzierung)

Test-of-Time Award bei SAT’25:
Für das Paper Effective Preprocessing in SAT through Variable and Clause Elimination von Niklas Eén und Armin Biere, das seit 2005 die wichtigste Methode zum Vereinfachen von aussagenlogischen Problemen darstellt.

Best Paper Award bei SAT’25:
Für das Paper Streamlining Distributed SAT Solver Design von Dominik Schreiber, Niccolò Rigi-Luperti und Armin Biere, das neue Ansätze zur verteilten Verarbeitung solcher Probleme vorstellt.

Distinguished Paper bei CAV’25:
Für das Paper Introducing Certificates to the Hardware Model Checking Competition von Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere und Keijo Heljanko. CAV (Computer-Aided Verification) ist die Top-Konferenz zur Verifikation von Software und Hardware, um deren Korrektheit und Zuverlässigkeit zu prüfen.

Mehr Informationen zu den Teams und Projekten gibt es auf der Website der Forschungsgruppe

Kontakt:

Prof. Dr. Armin Biere
Institut für Informatik – IIF
Professur für Rechnerarchitektur
E-Mail: biere@cs.uni-freiburg.de

Kerstin Steiger-Merx
Referentin PR/Marketing
Technische Fakultät
Albert-Ludwigs-Universität Freiburg
Tel.: 0761/203-8056
E-Mail: steiger-merx@tf.uni-freiburg.de

26.02.2026