No. Title Author Year
1 Tight Lower Bounds for Problems Parameterized by Rank-Width Bergougnoux, Benjamin et al. 2023
2 Integrating Tree Decompositions into Decision Heuristics of Propositional Model Counters (Short Paper) Korhonen, Tuukka et al. 2021
3 Lower Bounds on Dynamic Programming for Maximum Weight Independent Set Korhonen, Tuukka 2021
4 Finding Optimal Triangulations Parameterized by Edge Clique Cover Korhonen, Tuukka 2020
5 PACE Solver Description: SMS Korhonen, Tuukka 2020
Current Page :
Number of result pages: 1
Number of documents: 5

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI