Patrick Thier

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 7

Top Topics

Database Technology

Boolean Functions

Database Management

Top Venues

Publications

Johannes Klaus Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan Woltran
Solving Projected Model Counting by Utilizing Treewidth and its Limits. Artif. Intell. 314 (2023)
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan Woltran
Solving Projected Model Counting by Utilizing Treewidth and its Limits. CoRR (2023)
Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran
Exploiting Database Management Systems and Treewidth for Counting. Theory Pract. Log. Program. 22 (1) (2022)
Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran
Exploiting Database Management Systems and Treewidth for Counting. CoRR (2020)
Markus Hecher, Patrick Thier, Stefan Woltran
Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology. SAT (2020)
Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran
Exploiting Database Management Systems and Treewidth for Counting. PADL (2020)
Patrick Thier, M. Anton Ertl, Andreas Krall
Fast and flexible instruction selection with constraints. CC (2018)