Obserwuj
Patrick Thier
Patrick Thier
Nieznane powiązanie
Zweryfikowany adres z student.tuwien.ac.at
Tytuł
Cytowane przez
Cytowane przez
Rok
Exploiting database management systems and treewidth for counting
JK Fichte, M Hecher, P Thier, S Woltran
Theory and Practice of Logic Programming 22 (1), 128-157, 2022
352022
Taming high treewidth with abstraction, nested dynamic programming, and database technology
M Hecher, P Thier, S Woltran
Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020
292020
Solving projected model counting by utilizing treewidth and its limits
JK Fichte, M Hecher, M Morak, P Thier, S Woltran
Artificial Intelligence 314, 103810, 2023
42023
Fast and flexible instruction selection with constraints
P Thier, MA Ertl, A Krall
Proceedings of the 27th International Conference on Compiler Construction …, 2018
22018
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–4