News26: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Sibylle Möhle (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Medaillen an internationalem Wettbewerb für SAT Solver der Gruppe Wissensverarbeitung |Titel EN=SAT solver of the Knowledge Representati…“) |
Sibylle Möhle (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 4: | Zeile 4: | ||
|Beschreibung DE=Die in der Gruppe 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" | |Beschreibung DE=Die in der Gruppe 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 | |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. | ||
|Datum=2016/07/28 | |Datum=2016/07/28 | ||
|Bild=Medals riss 2016.jpg | |Bild=Medals riss 2016.jpg | ||
}} | }} | ||
Version vom 28. Juli 2016, 09:14 Uhr
Neuigkeit vom 28. Juli 2016
Medaillen an internationalem Wettbewerb für SAT Solver der Gruppe Wissensverarbeitung
Die in der Gruppe 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.
