Critique of Feinstein's Proof that P is not Equal to NP

Kyle Sabo Ryan Schmitt Michael Silverman

Published in: CoRR (2007)

Keyphrases

computational complexity
np hard
theorem proving
np complete
automated theorem provers
databases
genetic algorithm
proof planning
linear logic
decision trees
theorem prover
evolutionary algorithm
equal sized
special case
real time
high level
computer vision
learning algorithm
data mining
data sets