Kissat triumphiert bei SAT Competition 2024
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:
- SAT (Erfüllbare Instanzen)
- UNSAT (Unerfüllbare Instanzen)
- 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