Fast and flexible instruction selection with constraints. - Patrick Thier; M. Anton Ertl; Andreas Krall (CC, 2018)

Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology. - Markus Hecher; Patrick Thier; Stefan Woltran (SAT, 2020)

Exploiting Database Management Systems and Treewidth for Counting. - Johannes Klaus Fichte; Markus Hecher; Patrick Thier; Stefan Woltran (Theory Pract. Log. Program., 2022)

Solving Projected Model Counting by Utilizing Treewidth and its Limits. - Johannes Klaus Fichte; Markus Hecher; Michael Morak; Patrick Thier; Stefan Woltran (Artif. Intell., 2023)