The Complexity of Proving Discrete Jordan Curve Theorem (2007)

by Phuong Nguyen, Stephen Cook
Venue:In Proc. 22nd IEEE Symposium on Logic in Computer Science