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

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