22 citations · 90 across the 29 of their papers we have counts for
1 paper · 2 filters
Florent Capelli, Stefan Mengel
We generalize many results concerning the tractability of SAT and #SAT on bounded treewidth CNF-formula in the context of Quantified Boolean Formulas (QBF). To this end, we start b…