58 citations · 327 across the 60 of their papers we have counts for
1 paper · 2 filters
Tomáš Peitl, Stefan Szeider
Hitting formulas, introduced by Iwama, are an unusual class of propositional CNF formulas. Not only is their satisfiability decidable in polynomial time, but even their models can…