I have a hard time with integer programming, so I'm not going to say anything about it. My understanding of it is that t...

This is the original NP-complete problem (Karp's problem 1). In this problem, the input is a boolean formula written in...