Treffer: Computer-Aided Verification of P/NP Proofs: A Survey and Discussion
Title:
Computer-Aided Verification of P/NP Proofs: A Survey and Discussion
Authors:
Source:
IEEE Access Access, IEEE. 12:13513-13524 2024
Database:
IEEE Xplore Digital Library