Patrick Thier
Patrick Thier
Unknown affiliation
Verified email at
Cited by
Cited by
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
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
Fast and flexible instruction selection with constraints
P Thier, MA Ertl, A Krall
Proceedings of the 27th International Conference on Compiler Construction …, 2018
The system can't perform the operation now. Try again later.
Articles 1–3