P
Initializing...
Every fixed clause-width bound has a polynomial-time WordRAM certificate verifier · Prove2Me