Patrick Thier

According to our database, Patrick Thier authored at least 4 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Solving Projected Model Counting by Utilizing Treewidth and its Limits.

Johannes Klaus Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan Woltran

Artif. Intell., 2023

2022

Exploiting Database Management Systems and Treewidth for Counting.

Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran

Theory Pract. Log. Program., 2022

2020

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

Markus Hecher, Patrick Thier, Stefan Woltran

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

2018

Fast and flexible instruction selection with constraints.

Patrick Thier, M. Anton Ertl, Andreas Krall

Proceedings of the 27th International Conference on Compiler Construction, 2018