markus hecher
Title
Cited by
Cited by
Year
Answer set solving with bounded treewidth revisited
JK Fichte, M Hecher, M Morak, S Woltran
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2017
342017
The D-FLAT system for dynamic programming on tree decompositions
M Abseher, B Bliem, G Charwat, F Dusberger, M Hecher, S Woltran
European workshop on logics in artificial intelligence, 558-572, 2014
272014
An SMT approach to fractional hypertree width
JK Fichte, M Hecher, N Lodha, S Szeider
International Conference on Principles and Practice of Constraint …, 2018
222018
Exploiting treewidth for projected model counting and its limits
JK Fichte, M Hecher, M Morak, S Woltran
International Conference on Theory and Applications of Satisfiability …, 2018
222018
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
182016
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
172019
D-flat: progress report
M Abseher, B Bliem, G Charwat, F Dusberger, M Hecher, S Woltran
DBAI, TU Wien, Tech. Rep. DBAI-TR-2014 86, 2014
162014
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
142018
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
132019
An improved GPU-based SAT model counter
JK Fichte, M Hecher, M Zisser
International Conference on Principles and Practice of Constraint …, 2019
122019
Treewidth and counting projected answer sets
JK Fichte, M Hecher
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019
112019
DynASP2. 5: Dynamic programming on tree decompositions in action
JK Fichte, M Hecher, M Morak, S Woltran
Algorithms 14 (3), 81, 2021
102021
Default logic and bounded treewidth
JK Fichte, M Hecher, I Schindler
Information and Computation, 104675, 2020
92020
Exploiting database management systems and treewidth for counting
JK Fichte, M Hecher, P Thier, S Woltran
International Symposium on Practical Aspects of Declarative Languages, 151-167, 2020
82020
A Time Leap Challenge for SAT-Solving
JK Fichte, M Hecher, S Szeider
International Conference on Principles and Practice of Constraint …, 2020
72020
Taming high treewidth with abstraction, nested dynamic programming, and database technology
M Hecher, P Thier, S Woltran
International Conference on Theory and Applications of Satisfiability …, 2020
72020
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
52020
Exploiting treewidth for counting projected answer sets
JK Fichte, M Hecher
Proceedings of the 16th International Conference on Principles of Knowledge …, 2018
52018
Counting answer sets via dynamic programming
J Fichte, M Hecher, M Morak, S Woltran
arXiv preprint arXiv:1612.07601, 2016
52016
Breaking symmetries with RootClique and LexTopsort
JK Fichte, M Hecher, S Szeider
International Conference on Principles and Practice of Constraint …, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20