The model counting competition 2020 JK Fichte, M Hecher, F Hamiti Journal of Experimental Algorithmics (JEA) 26, 1-26, 2021 | 56 | 2021 |
Answer set solving with bounded treewidth revisited JK Fichte, M Hecher, M Morak, S Woltran International Conference on Logic Programming and Nonmonotonic Reasoning …, 2017 | 48 | 2017 |
The PACE 2019 parameterized algorithms and computational experiments challenge: the fourth iteration MA Dzulfikar, JK Fichte, M Hecher 14th International Symposium on Parameterized and Exact Computation (IPEC 2019), 2019 | 38 | 2019 |
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 |
Exploiting treewidth for projected model counting and its limits JK Fichte, M Hecher, M Morak, S Woltran Theory and Applications of Satisfiability Testing–SAT 2018: 21st …, 2018 | 33 | 2018 |
A time leap challenge for SAT-solving JK Fichte, M Hecher, S Szeider International Conference on Principles and Practice of Constraint …, 2020 | 30 | 2020 |
Lower bounds for QBFs of bounded treewidth JK Fichte, M Hecher, A Pfandler Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 30 | 2020 |
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 |
Treewidth-aware reductions of normal ASP to SAT–Is normal ASP harder than SAT after all? M Hecher Artificial Intelligence 304, 103651, 2022 | 28 | 2022 |
Weighted model counting on the GPU by exploiting small treewidth JK Fichte, M Hecher, S Woltran, M Zisser 26th Annual European Symposium on Algorithms (ESA 2018), 2018 | 28 | 2018 |
An SMT approach to fractional hypertree width JK Fichte, M Hecher, N Lodha, S Szeider Principles and Practice of Constraint Programming: 24th International …, 2018 | 28 | 2018 |
The D-FLAT system for dynamic programming on tree decompositions M Abseher, B Bliem, G Charwat, F Dusberger, M Hecher, S Woltran Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014 | 28 | 2014 |
Counting complexity for reasoning in abstract argumentation JK Fichte, M Hecher, A Meier Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2827-2834, 2019 | 25 | 2019 |
An improved GPU-based SAT model counter JK Fichte, M Hecher, M Zisser Principles and Practice of Constraint Programming: 25th International …, 2019 | 25 | 2019 |
D-FLAT^ 2: Subset minimization in dynamic programming on tree decompositions made easy B Bliem, G Charwat, M Hecher, S Woltran Fundamenta Informaticae 147 (1), 27-61, 2016 | 25 | 2016 |
The silent (r) evolution of SAT JK Fichte, DL Berre, M Hecher, S Szeider Communications of the ACM 66 (6), 64-72, 2023 | 24 | 2023 |
Treewidth-aware cycle breaking for algebraic answer set counting T Eiter, M Hecher, R Kiesel Proceedings of the International Conference on Principles of Knowledge …, 2021 | 23 | 2021 |
Treewidth and counting projected answer sets JK Fichte, M Hecher Logic Programming and Nonmonotonic Reasoning: 15th International Conference …, 2019 | 21 | 2019 |
DynASP2. 5: Dynamic programming on tree decompositions in action JK Fichte, M Hecher, M Morak, S Woltran Algorithms 14 (3), 81, 2021 | 20 | 2021 |
D-flat: progress report M Abseher, B Bliem, G Charwat, F Dusberger, M Hecher, S Woltran | 17 | 2014 |