Under the slogan "Software, Technology and Systems (STS)", the institute combines fundamental research on descriptions and dependencies of software systems with practical issues and applications from both engineering and social sciences.
04.07.2023
SAT 2023
Ole Lübke participates in the SAT 2023 Conference
Ole Lübke participates in the SAT 2023 Conference with the noSAT-MaxSATv2 Solver.