Tuukka Korhonen



I am a third-year computer science PhD student at University of Bergen supervised by Fedor V. Fomin. I got my master's degree at University of Helsinki, where I did research in the Constraint Reasoning and Optimization group.

My research interests are in algorithms and graph theory. I am interested in understanding how the structure of the inputs affects the computational feasibility in combinatorial problems, and developing more efficient algorithms to exploit the structure.



Preprints and manuscripts



  • SharpSAT-TD - #SAT-solver that utilizes tree decompositions.
  • SMS - Exact algorithm for computing treedepth using small minimal separators.
  • Triangulator - Implementation of the Bouchitté-Todinca algorithm for exact computing of optimal triangulations with various notions of "optimal".
  • MaxPre - MaxSAT preprocessor.


  • Model Counting Competition with solver SharpSAT-TD:
    • 2023: first places on tracks 1 and 2
    • 2022: first place on track 2, second place on track 1
    • 2021: first places on tracks 1, 2, and 4
  • 2nd place in PACE 2020, exact treedepth track.
  • 2nd place in PACE 2017, exact minimum fill-in track.


  • Conferences: SODA 2024, ISAAC 2023, COCOON 2023, ESA 2023, MFCS 2023, ICALP 2023, STOC 2023, LATIN 2022, ESA 2022, MFCS 2022, WG 2022, SWAT 2022, ICALP 2022, STOC 2022, AAAI 2022, SAT 2021, ICALP 2021, AAAI 2021, MFCS 2020, SAT 2020
  • Journals: SIAM Journal on Computing, Journal of Combinatorial Theory Series B, SIAM Journal on Discrete Mathematics, Electronic Journal of Combinatorics, Journal of Graph Theory, Discrete Applied Mathematics, Theoretical Computer Science

MSc thesis


  • VCLA International Student Awards 2021 Outstanding Master Thesis Award
  • Finnish Society for Computer Science Master's thesis award - the best computer science Master's thesis in Finland in the academic year 2019-2020
  • IPEC 2020 Best Paper Award and Best Student Paper Award

Open problems

An incomplete list of open problems that I like.



  • Currently PhD student at University of Bergen, started in 9/2021.
  • Master of Science, Computer Science, University of Helsinki, 7/2020.
  • Bachelor of Science, Computer Science, University of Helsinki, 9/2019.


  • 8/2020-7/2021. Mandatory (non)-military service as research assistant at University of Helsinki.
  • 6/2016-6/2017, 10/2017-5/2018, 2/2019-7/2020. Research assistant in Constraint Reasoning and Optimization group at 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.
  • Results in high school contests: bronze medal in IOI 2015, silver medal in BOI 2015, first place in Finnish olympiad in informatics 2015.
Last updated on 19 September 2023