News26: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Sibylle Möhle (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Sibylle Möhle (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 2: | Zeile 2: | ||
|Titel DE=Medaillen an internationalem Wettbewerb für SAT Solver der Gruppe Wissensverarbeitung | |Titel DE=Medaillen an internationalem Wettbewerb für SAT Solver der Gruppe Wissensverarbeitung | ||
|Titel EN=SAT solver of the Knowledge Representation and Reasoning group wins medals at international competition | |Titel EN=SAT solver of the Knowledge Representation and Reasoning group wins medals at international competition | ||
|Beschreibung DE=Die in der | |Beschreibung DE=Die in der Professur Wissensverarbeitung entwickelten SAT Solver konnten an den [https://iccl.inf.tu-dresden.de/web/News21 Erfolg des letzten Jahres] anknüpfen. An der SAT Competition 2016 gewann "[https://iccl.inf.tu-dresden.de/web/Riss 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. | Bronze, im "Main Track" Silber und im "Agile Track" Gold. In der MAXSAT evaluation belegte der MaxSAT Solver "Optiriss" den dritten Platz. | ||
|Beschreibung EN=Tools developed in the Knowledge Representation and Reasoning group [https://iccl.inf.tu-dresden.de/web/News21/en succeeded again] in international competitions. SAT solver "[https://iccl.inf.tu-dresden.de/web/Riss/en Riss]" won bronze in the "Incremental Track", silver in the "Main Track", and gold in the "Agile Track" of the SAT competition 2016. The MaxSAT solver "Optiriss" won third prize in the MAXSAT evaluation. | |Beschreibung EN=Tools developed in the Knowledge Representation and Reasoning group [https://iccl.inf.tu-dresden.de/web/News21/en succeeded again] in international competitions. SAT solver "[https://iccl.inf.tu-dresden.de/web/Riss/en Riss]" won bronze in the "Incremental Track", silver in the "Main Track", and gold in the "Agile Track" of the SAT competition 2016. The MaxSAT solver "Optiriss" won third prize in the MAXSAT evaluation. | ||
Aktuelle Version vom 28. Juli 2016, 11:50 Uhr
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.
