Critique of Barbosa's "P != NP Proof".

Jackson Abascal Shir Maimon

Published in: CoRR (2017)

Keyphrases

computational complexity
np complete
np hard
stock market
theorem proving
neural network
linear logic
data sets
data structure
proof planning