Seguir
Tuukka Korhonen
Título
Citado por
Citado por
Año
A single-exponential time 2-approximation algorithm for treewidth
T Korhonen
SIAM Journal on Computing, FOCS21-174-FOCS21-194, 2023
1202023
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
502021
MaxPre: an extended MaxSAT preprocessor
T Korhonen, J Berg, P Saikko, M Järvisalo
International Conference on Theory and Applications of Satisfiability …, 2017
432017
Grid induced minor theorem for graphs of small degree
T Korhonen
Journal of Combinatorial Theory, Series B 160, 206-214, 2023
422023
Fast FPT-approximation of branchwidth
FV Fomin, T Korhonen
Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing …, 2022
292022
An improved parameterized algorithm for treewidth
T Korhonen, D Lokshtanov
Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 528-541, 2023
272023
Computing tree decompositions with small independence number
C Dallard, FV Fomin, PA Golovach, T Korhonen, M Milanič
arXiv preprint arXiv:2207.09993, 2022
232022
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
172019
Fixed-parameter tractability of maximum colored path and beyond
FV Fomin, PA Golovach, T Korhonen, K Simonov, G Stamoulis
ACM Transactions on Algorithms 20 (4), 1-48, 2024
122024
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
112023
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
102023
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
92019
Minor Containment and Disjoint Paths in almost-linear time
T Korhonen, M Pilipczuk, G Stamoulis
arXiv preprint arXiv:2404.03958, 2024
82024
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
82024
PACE solver description: SMS
T Korhonen
15th International Symposium on Parameterized and Exact Computation (IPEC 2020), 2020
8*2020
Listing small minimal separators of a graph
T Korhonen
arXiv preprint arXiv:2012.09153, 2020
62020
Tight lower bounds for problems parameterized by rank-width
B Bergougnoux, T Korhonen, J Nederlof
arXiv preprint arXiv:2210.02117, 2022
52022
Finding optimal triangulations parameterized by edge clique cover
T Korhonen
Algorithmica 84 (8), 2242-2270, 2022
5*2022
Loandra: PMRES extended with preprocessing entering MaxSAT evaluation 2017
J Berg, T Korhonen, M Järvisalo
MaxSAT Evaluation 2017, 13, 2017
52017
SharpSAT-TD in Model Counting Competitions 2021-2023
T Korhonen, M Järvisalo
arXiv preprint arXiv:2308.15819, 2023
42023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20