Zi Chao Wang

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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 refutation of Ω ". We show that such a system is p-equivalent to Extended Frege. More generally, let τ be a tautology, a [P, Q]-proof of τ is a pair (α, β) s.t. α is a P-proof(More)
  • 1