A proof that P=NP via non-constructive means leaves open whether the algorithm is implementable with...
This proposition has not been edited since the history system was added.