Refutation of Aslam's Proof that NP = P
Frank FerraroGarrett HallAndrew WoodPublished in: CoRR (2009)
Keyphrases
- theorem prover
- theorem proving
- automated theorem proving
- geometry theorem proving
- proof planning
- proof search
- computational complexity
- first order logic
- natural deduction
- np complete
- inductive inference
- linear logic
- inference rules
- knowledge base
- digital libraries
- learning algorithm
- databases
- data sets
- double exponential
- database