1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…