28 citations · 28 across the 1 of their papers we have counts for
1 paper
Zi Chao Wang
Let Ωbe a set of unsatisfiable clauses, an implicit resolution refutation of Ωis a circuit βwith a resolution proof α of the statement "βdescribes a correct tree-like resolution re…