Strongly NP-complete

Summary