Assertion list for term "np-hard".

Results from Ascent++: 1
optimization problem (subgroup of problem) HasPropertynp-hard 0.38