Kissat triumphiert bei SAT Competition 2024

Prof. Armin Biere und Team gewinnen drei Goldmedaillen für herausragende Leistung.

Der Hauptwettbewerb der renommierten SAT Competition 2024, die im Rahmen der SAT'24 in Pune, Indien, stattfand, wurde von der neuesten Version des SAT-Solvers Kissat dominiert. Mit herausragender Leistung sicherte sich Kissat in allen Disziplinen den ersten Platz und gewann dabei drei Goldmedaillen.

Kissat triumphierte in den folgenden Kategorien:

  1. SAT (Erfüllbare Instanzen)
  2. UNSAT (Unerfüllbare Instanzen)
  3. SAT+UNSAT (Kombination beider Instanztypen)

Die Ergebnisse des Hauptwettbewerbs unterstreichen die herausragende Effizienz und Zuverlässigkeit der neuesten Version von Kissat, einem der weltweit führenden SAT-Solver. Der Sieg in allen Kategorien belegt die technische Überlegenheit und die kontinuierliche Weiterentwicklung des Solvers, der speziell für eine optimale Leistung bei der Lösung von SAT-Instanzen optimiert wurde.


Über Kissat

Kissat ist ein hochentwickelter SAT-Solver, der für seine herausragende Geschwindigkeit und Effizienz bei der Lösung von Erfüllbarkeitsproblemen bekannt ist. Er wird weltweit von Forscher*innen und Entwickler*innen eingesetzt, um komplexe logische Probleme zu lösen und gilt als eine der führenden Technologien im Bereich der SAT-Solver.


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

15.10.2024