P
Initializing...
Polynomial-time checker-to-CNF compilation · Prove2Me