Lukas' Notes

Definition

Nondeterministic Polynomial Complexity Class