Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Pebble Games, Proof Complexity, and Time-Space Trade-offs   Pebble games were extensively studied in the 1970s and 1980s in a number of
different contexts. The last decade has seen a revival of interest in pebble
games coming from the field of proof complexity. Pebbling has proven to be a
useful tool for studying resolution-based proof systems when comparing the
strength of different subsystems, showing bounds on proof space, and
establishing size-space trade-offs. This is a survey of research in proof
complexity drawing on results and tools from pebbling, with a focus on proof
space lower bounds and trade-offs between proof size and proof space.

36
The categories of this paper are: cmp-lg
32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat
11
The categories of this paper are: hep-lat
18
The categories of this paper are: econ
7
The categories of this paper are: hep-th
22
The categories of this paper are: chao-dyn
13
The categories of this paper are: quant-ph
21
The categories of this paper are: adap-org
16
The categories of this paper are: stat
12
The categories of this paper are: nucl-th
9
The categories of this paper are: nlin
5
The categories of this paper are: gr-qc
3
The categories of this paper are: physics
0
The categories of this paper are: hep-ph
29
The categories of this paper are: funct-an