On Friday the 25th of May 2018, M.Sc. Jeremias Berg will defend his doctoral thesis on Solving Optimization Problems via Maximum Satisfiablity in Kumpula. The thesis is a part of the research done at ...