TY  - RPRT
TI  - The Complexity of Proving the Discrete Jordan Curve Theorem
AU  - Phuong Nguyen
AU  - Stephen Cook
PY  - 2010
UR  - https://arxiv.org/abs/1002.2954
ID  - 1002.2954
ER  -