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
  • The thesis is based (amongst others) on our paper in JEA and IJCAI
• 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.