Tuukka Korhonen
Orcid: 0000-0003-0861-6515
According to our database1,
Tuukka Korhonen
authored at least 32 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
CoRR, 2024
Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms, 2024
Induced-Minor-Free Graphs: Separator Theorem, Subexponential Algorithms, and Improved Hardness of Recognition.
Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms, 2024
2023
J. Comb. Theory, Ser. B, May, 2023
Treewidth is Polynomial in Maximum Degree on Graphs Excluding a Planar Induced Minor.
CoRR, 2023
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2023
Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023
Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023
Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, 2023
Proceedings of the 34th International Symposium on Algorithms and Computation, 2023
Proceedings of the 64th IEEE Annual Symposium on Foundations of Computer Science, 2023
Proceedings of the 31st Annual European Symposium on Algorithms, 2023
2022
Algorithmica, 2022
Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022
2021
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021
Proceedings of the 62nd IEEE Annual Symposium on Foundations of Computer Science, 2021
Integrating Tree Decompositions into Decision Heuristics of Propositional Model Counters (Short Paper).
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
2020
Proceedings of the 15th International Symposium on Parameterized and Exact Computation, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Solving Graph Problems via Potential Maximal Cliques: An Experimental Evaluation of the Bouchitté-Todinca Algorithm.
ACM J. Exp. Algorithmics, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
2017
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017