A constructive proof that P ≠ NP using circuit-resistant encodingsdoi.org4 pointsvicentestevea year ago