Follow
Tuukka Korhonen
Title
Cited by
Cited by
Year
A single-exponential time 2-approximation algorithm for treewidth
T Korhonen
SIAM Journal on Computing, FOCS21-174-FOCS21-194, 2023
972023
MaxPre: an extended MaxSAT preprocessor
T Korhonen, J Berg, P Saikko, M Järvisalo
International Conference on Theory and Applications of Satisfiability …, 2017
372017
Grid induced minor theorem for graphs of small degree
T Korhonen
Journal of Combinatorial Theory, Series B 160, 206-214, 2023
322023
Integrating tree decompositions into decision heuristics of propositional model counters
T Korhonen, M Järvisalo
27th International Conference on Principles and Practice of Constraint …, 2021
322021
Fast FPT-approximation of branchwidth
FV Fomin, T Korhonen
Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing …, 2022
222022
Computing tree decompositions with small independence number
C Dallard, FV Fomin, PA Golovach, T Korhonen, M Milanič
arXiv preprint arXiv:2207.09993, 2022
162022
An improved parameterized algorithm for treewidth
T Korhonen, D Lokshtanov
Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 528-541, 2023
152023
Solving Graph Problems via Potential Maximal Cliques: An Experimental Evaluation of the Bouchitté--Todinca Algorithm
T Korhonen, J Berg, M Järvisalo
Journal of Experimental Algorithmics (JEA) 24, 1-19, 2019
152019
Enumerating potential maximal cliques via SAT and ASP
T Korhonen, J Berg, M Järvisalo
Proceedings of the International Joint Conference on Artificial Intelligence …, 2019
82019
New width parameters for independent set: One-sided-mim-width and neighbor-depth
B Bergougnoux, T Korhonen, I Razgon
International Workshop on Graph-Theoretic Concepts in Computer Science, 72-85, 2023
72023
Fixed-parameter tractability of maximum colored path and beyond
FV Fomin, PA Golovach, T Korhonen, K Simonov, G Stamoulis
Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms …, 2023
72023
Listing small minimal separators of a graph
T Korhonen
arXiv preprint arXiv:2012.09153, 2020
72020
PACE solver description: Sms
T Korhonen
15th International Symposium on Parameterized and Exact Computation (IPEC 2020), 2020
7*2020
Tight lower bounds for problems parameterized by rank-width
B Bergougnoux, T Korhonen, J Nederlof
arXiv preprint arXiv:2210.02117, 2022
52022
Loandra: PMRES extended with preprocessing entering MaxSAT evaluation 2017
J Berg, T Korhonen, M Järvisalo
MaxSAT Evaluation 2017, 13, 2017
52017
Induced-Minor-Free Graphs: Separator Theorem, Subexponential Algorithms, and Improved Hardness of Recognition
T Korhonen, D Lokshtanov
Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms …, 2024
42024
Dynamic treewidth
T Korhonen, K Majewski, W Nadara, M Pilipczuk, M Sokołowski
2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS …, 2023
42023
Lower bounds on dynamic programming for maximum weight independent set
T Korhonen
arXiv preprint arXiv:2102.06901, 2021
42021
On Induced Versions of Menger's Theorem on Sparse Graphs
P Gartland, T Korhonen, D Lokshtanov
arXiv preprint arXiv:2309.08169, 2023
32023
Finding optimal triangulations parameterized by edge clique cover
T Korhonen
Algorithmica 84 (8), 2242-2270, 2022
3*2022
The system can't perform the operation now. Try again later.
Articles 1–20