Picture for Patrick Thier

Patrick Thier

Solving Projected Model Counting by Utilizing Treewidth and its Limits

Add code
May 31, 2023
Viaarxiv icon

Exploiting Database Management Systems and Treewidth for Counting

Add code
Jan 13, 2020
Figure 1 for Exploiting Database Management Systems and Treewidth for Counting
Figure 2 for Exploiting Database Management Systems and Treewidth for Counting
Figure 3 for Exploiting Database Management Systems and Treewidth for Counting
Figure 4 for Exploiting Database Management Systems and Treewidth for Counting
Viaarxiv icon