3.7.236. Subset sum

Denotes the fact that, by reduction to subset sum, deciding whether a constraint has a solution or not was shown to be NP -hard. The subset sum problem can be described as follows: given a finite set of integers in + and an integer s in + , does any subset sum equal exactly s?