This spring was the first time I co-supervised Master’s theses. In total three students got their theses accepted during June:
- Tuukka: Finding Optimal Tree Decompositions
- Esa: Incomplete MaxSAT Solving by Linear Programming Relaxation and Rounding
- Marcus: Preprocessing and Stochastic Local Search in Maximum Satisfiability
- The thesis is based on our recent ECAI paper.
I’d like to congratulate all students on finishing their theses. Even if I had supervised Bachelor’s theses before, supervising Master’s level students was a new experience for me. I learned a lot and can only hope I could provide useful supervision for them as well.