Search Results for author:
Found 2 papers, 0 papers with code
Solving Projected Model Counting by Utilizing Treewidth and its Limits
Inspired by the observation that the so-called "treewidth" is one of the most prominent structural parameters, our algorithm utilizes small treewidth of the primal graph of the input instance.
Exploiting Database Management Systems and Treewidth for Counting
This paper deals with counting problems for instances of small treewidth.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
