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