Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Implicit Resolution   Let \Omega be a set of unsatisfiable clauses, an implicit resolution
refutation of \Omega is a circuit \beta with a resolution proof {\alpha} of the
statement "\beta describes a correct tree-like resolution refutation of
\Omega". We show that such system is p-equivalent to Extended Frege. More
generally, let {\tau} be a tautology, a [P, Q]-proof of {\tau} is a pair
(\alpha,\beta) s.t. \alpha is a P-proof of the statement "\beta is a circuit
describing a correct Q-proof of \tau". We prove that [EF,P] \leq p [R,P] for
arbitrary Cook-Reckhow proof system P.

10
The categories of this paper are: q-bio
5
The categories of this paper are: gr-qc
18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas
12
The categories of this paper are: nucl-th
23
The categories of this paper are: solv-int
2
The categories of this paper are: math
8
The categories of this paper are: hep-ex
20
The categories of this paper are: acc-phys
11
The categories of this paper are: hep-lat
14
The categories of this paper are: math-ph
4
The categories of this paper are: cond-mat
35
The categories of this paper are: mtrl-th
33
The categories of this paper are: plasm-ph
3
The categories of this paper are: physics
16
The categories of this paper are: stat