Exploiting Treewidth for Projected Model Counting and its Limits

14 May 2018

Papers citing "Exploiting Treewidth for Projected Model Counting and its Limits"

3 / 3 papers shown

Title
Treewidth-aware Reductions of Normal ASP to SAT -- Is Normal ASP Harder than SAT after All? Markus Hecher 62 25 0 07 Oct 2022
Lower Bounds for QBFs of Bounded Treewidth Johannes Fichte Markus Hecher A. Pfandler 41 24 0 02 Oct 2019
Counting Complexity for Reasoning in Abstract Argumentation Johannes Fichte Markus Hecher Arne Meier 31 27 0 28 Nov 2018