P
Initializing...
Cook–Levin machines: polynomial-time unary multiplication closure · Prove2Me