exist a binary vector x in {0,1}^n such that Ax <= b and c^T x >= k? 0-1 Integer Programming is NP-Complete (one of Karp's original 21). It is the decision version of Binary Integer Linear Programming ...