STS-News

MaxSAT Evaluation 2022

Ole Lübke and Sibylle Schupp participated in the MaxSAT Evaluation

Ole Lübke and Sibylle Schupp participated in the MaxSAT Evaluation 2022 (https://maxsat-evaluations.github.io/2022/) with their noSAT-MaxSAT solver.