Research Visit to Helsinki

Ole Lübke will visit Academy Research Fellow Jeremias Berg at the University of Helsinki from February 3 to February 14.
The visit will involve collaboration to explore combining local search and SAT-based methods to enhance the performance of MaxSAT solvers.
He will also give a presentation on "Recent Approaches to Local Search for MaxSAT and Novel Applications" at the Department of Computer Science.