Medaillen an internationalem Wettbewerb für SAT Solver der Gruppe Wissensverarbeitung
Aus International Center for Computational Logic
Neuigkeit vom 28. Juli 2016
Medaillen an internationalem Wettbewerb für SAT Solver der Gruppe Wissensverarbeitung
Die in der Professur Wissensverarbeitung entwickelten SAT Solver konnten an den Erfolg des letzten Jahres anknüpfen. An der SAT Competition 2016 gewann "Riss" im "Incremental Track"
Bronze, im "Main Track" Silber und im "Agile Track" Gold. In der MAXSAT evaluation belegte der MaxSAT Solver "Optiriss" den dritten Platz.
