Tuukka Korhonen

I am a computer science MSc student in University of Helsinki. I am currently working in the Constraint Reasoning and Optimization group. Recently, my research has focused on practical algorithms for exact solving of problems related to tree decompositions. Before that I worked on MaxSAT solving.

Research

Publications

• Finding Optimal Triangulations Parameterized by Edge Clique Cover. Tuukka Korhonen. IPEC 2020 (Best Paper Award). Arxiv version.
• PACE solver description: SMS. Tuukka Korhonen. IPEC 2020. Arxiv version.
• Finding Most Compatible Phylogenetic Trees over Multi-State Characters. Tuukka Korhonen and Matti Järvisalo. AAAI 2020.
• Enumerating Potential Maximal Cliques via SAT and ASP. Tuukka Korhonen, Jeremias Berg and Matti Järvisalo. IJCAI 2019.
• Solving Graph Problems via Potential Maximal Cliques: An Experimental Evaluation of the Bouchitté-Todinca Algorithm. Tuukka Korhonen, Jeremias Berg and Matti Järvisalo. ACM Journal of Experimental Algorithmics, Volume 24 Issue 1, 2019.
• MaxPre: An Extended MaxSAT Preprocessor. Tuukka Korhonen, Jeremias Berg, Paul Saikko and Matti Järvisalo. SAT 2017.

Preprints

• Lower Bounds on Dynamic Programming for Maximum Weight Independent Set. Tuukka Korhonen. 2021.
• Listing Small Minimal Separators of a Graph. Tuukka Korhonen. 2020.
• Tight Bounds for Potential Maximal Cliques Parameterized by Vertex Cover. Tuukka Korhonen. 2020.

Thesis

• Finding Optimal Tree Decompositions. MSc thesis, University of Helsinki. June 2020.

Software

• SMS - Exact algorithm for computing treedepth.
• Triangulator - Implementation of the Bouchitté-Todinca algorithm for finding optimal triangulations.
• MaxPre - MaxSAT preprocessor.

Awards

• IPEC 2020 Best Paper Award and Best Student Paper Award

Presentations Given

• Oral presentation (slides, video) in IPEC 2020.
• Oral presentation in IPEC 2020 (on PACE challenge).
• Oral presentation and poster in AAAI 2020.
• Oral presentation and poster in IJCAI 2019.

Competitions

• 2nd place in PACE 2020 algorithm implementation competition, exact treedepth track.
• 2nd place in PACE 2017 algorithm implementation competition, exact minimum fill-in track.

Reviewing

• Conference PC member: AAAI 2021
• Conference external reviewer: SAT 2020, MFCS 2020
• Journal reviewer: Theoretical Computer Science

Other

Education

• Master of Science, Computer Science, University of Helsinki, 7/2020.
• Bachelor of Science, Computer Science, University of Helsinki, 9/2019.

Work experience

• 6/2016-6/2017, 10/2017-5/2018, 2/2019-current. Research assistant in Constraint Reasoning and Optimization group in University of Helsinki.
• 6/2018-12/2018. Software engineering intern at Google Zürich.
• 7/2017-9/2017. Software developer intern at Jane Street London.

Programming contests

• My profiles at online programming contest sites: Codeforces, Topcoder, Atcoder.
• Results in ICPC: 13th in finals 2017, 14th in finals 2016, 2nd in NWERC 2016, 1st in NWERC 2015, 1st in NCPC 2016, 2nd in NCPC 2015.

Misc links

• Master's thesis presentation
• Other pdfs
• StackExchange profile