Assertion list for term "np-complete".
Results from Ascent++: 2
problem → HasProperty → np-complete 0.55
decision problem (subgroup of problem) → HasProperty → np-complete 0.35