Login / Signup
Two conjectures such that the proof of any one of them will lead to the proof that P = NP
Malay Dutta
Published in:
CoRR (2008)
Keyphrases
</>
theorem prover
theorem proving
real time
proof planning
natural deduction
proof theory
databases
artificial intelligence
reinforcement learning
formal proof
geometry theorem proving