21 citations · 31 across the 6 of their papers we have counts for
1 paper · 1 filter
Sigve Hortemo Sæther, Jan Arne Telle, Martin Vatshelle
In this paper we propose a structural parameter of CNF formulas and use it to identify instances of weighted MaxSAT and #SAT that can be solved in polynomial time. Given a CNF form…