Exploiting database management systems and treewidth for counting JK Fichte, M Hecher, P Thier, S Woltran Theory and Practice of Logic Programming 22 (1), 128-157, 2022 | 35 | 2022 |
Taming high treewidth with abstraction, nested dynamic programming, and database technology M Hecher, P Thier, S Woltran Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020 | 29 | 2020 |
Solving projected model counting by utilizing treewidth and its limits JK Fichte, M Hecher, M Morak, P Thier, S Woltran Artificial Intelligence 314, 103810, 2023 | 4 | 2023 |
Fast and flexible instruction selection with constraints P Thier, MA Ertl, A Krall Proceedings of the 27th International Conference on Compiler Construction …, 2018 | 2 | 2018 |