Login / Signup
A Refutation of the Clique-Based P=NP Proofs of LaPlante and Tamta-Pande-Dhami.
Hector A. Cardenas
Chester Holtz
Maria Janczak
Philip Meyers
Nathaniel S. Potrepka
Published in:
CoRR (2015)
Keyphrases
</>
theorem prover
theorem proving
automated theorem proving
decision procedures
first order logic
natural deduction
inference rules
pac learning
equational theories
computer algebra
mathematical proofs
special case
artificial intelligence
independent set
formal proof
formal proofs
learning algorithm
machine learning