P
Initializing...
Polynomial-time bounded existential search over unary offsets · Prove2Me