Login / Signup
Hector A. Cardenas
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Theorem Prover
Formal Proof
Independent Set
Pac Learning
Top Venues
CoRR
</>
Publications
</>
Hector A. Cardenas
,
Chester Holtz
,
Maria Janczak
,
Philip Meyers
,
Nathaniel S. Potrepka
A Refutation of the Clique-Based P=NP Proofs of LaPlante and Tamta-Pande-Dhami.
CoRR
(2015)