Separating the complexity classes NL and NP
arXiv:cs/0004009
Abstract
Withdrawn since -order- was overlooked. First order reductions without order are much too weak to separate.
Withdrawn
arXiv:cs/0004009
Withdrawn since -order- was overlooked. First order reductions without order are much too weak to separate.
Withdrawn