Aller au contenu
Peerford
Revisiting Cook-Levin theorem using NP-Completeness and Circuit-SAT · Peerford