9 citations · 10 across the 4 of their papers we have counts for
1 paper · 1 filter
Hans Kleine Büning, Piotr Wojciechowski, K. Subramani
In this paper, we analyze 2CNF formulas from the perspectives of Read-Once resolution (ROR) refutation schemes. We focus on two types of ROR refutations, viz., variable-once refuta…