SAT solver of the Knowledge Representation and Reasoning group wins medals at international competition
From International Center for Computational Logic
News of July 28, 2016
SAT solver of the Knowledge Representation and Reasoning group wins medals at international competition
Tools developed in the Knowledge Representation and Reasoning group succeeded again in international competitions. SAT solver "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.
