Pseudo-Boolean methods are particularly suited to problems in which the variables take only two values, 0 and 1. In this paper, a method is presented for solving nonlinear pseudo-Boolean inequalities, and is applied to ...