Knapsack problem
article-link
What links here
Co-NP-complete
Integer factorization
article-link
Decision problem
article-link
Co-NP
article-link
P versus NP problem
article-link
Boolean satisfiability problem
article-link
Automated theorem proving
article-link