A new approach for a proof that P is NP.

Malay Dutta Anjana Kakoti Mahanta

Published in: CoRR (2023)

Keyphrases

computational complexity
databases
np hard
np complete
data structure
theorem proving
case study
machine learning
data mining
theorem prover
proof planning
mathematical proofs
decision making
real time
artificial intelligence
neural network
linear logic