Patrick Thier
From MaRDI portal
Person:2661360
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Exploiting Database Management Systems and Treewidth for Counting Theory and Practice of Logic Programming | 2023-12-12 | Paper |
| Solving projected model counting by utilizing treewidth and its limits Artificial Intelligence | 2023-01-04 | Paper |
| Taming high treewidth with abstraction, nested dynamic programming, and database technology | 2021-04-07 | Paper |
Research outcomes over time
This page was built for person: Patrick Thier
