Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An Improved Separation of Regular Resolution from Pool Resolution and
  Clause Learning   We prove that the graph tautology principles of Alekhnovich, Johannsen,
Pitassi and Urquhart have polynomial size pool resolution refutations that use
only input lemmas as learned clauses and without degenerate resolution
inferences. We also prove that these graph tautology principles can be refuted
by polynomial size DPLL proofs with clause learning, even when restricted to
greedy, unit-propagating DPLL search.

20
The categories of this paper are: acc-phys
27
The categories of this paper are: comp-gas
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
9
The categories of this paper are: nlin
15
The categories of this paper are: nucl-ex
28
The categories of this paper are: alg-geom
19
The categories of this paper are: eess
29
The categories of this paper are: funct-an
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
26
The categories of this paper are: bayes-an
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
25
The categories of this paper are: patt-sol
6
The categories of this paper are: astro-ph