Patrick Thier | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Stefan Woltran
42 publications
Markus Hecher
22 publications
Johannes K. Fichte
16 publications
Michael Morak
15 publications

research

∙ 05/30/2023

Solving Projected Model Counting by Utilizing Treewidth and its Limits

In this paper, we introduce a novel algorithm to solve projected model c...

0 Johannes K. Fichte, et al. ∙

research

∙ 01/13/2020

Exploiting Database Management Systems and Treewidth for Counting

Bounded treewidth is one of the most cited combinatorial invariants, whi...

0 Johannes K. Fichte, et al. ∙

Success!

An error occurred