Ole Lübke participates in the SAT 2023 Conference with the noSAT-MaxSATv2 Solver.
STS is an Institute of Hamburg University of Technology and the
School of Electrical Engineering, Computer Science and Mathematics.
Under the slogan "Software, Technology and Systems (STS)",
the institute combines fundamental research on descriptions and
dependences of software systems with practical issues and applications
from both engineering and social sciences.