Patrick Thier

Solving Projected Model Counting by Utilizing Treewidth and its Limits

S. Woltran, J. Fichte, Markus Hecher, 2022, Artif. Intell..

Exploiting Database Management Systems and Treewidth for Counting

S. Woltran, J. Fichte, Markus Hecher, 2020, PADL.

Exploiting Database Management Systems and Treewidth for Counting

S. Woltran, J. Fichte, Markus Hecher, 2020, PADL.

Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology

Stefan Woltran, Markus Hecher, Patrick Thier, 2020, SAT.