Endre Boros Peter L. Hammer Pseudo-Boolean optimization. 155-225 2002 123 Discrete Applied Mathematics 1-3 db/journals/dam/dam123.html#BorosH02