Logic and Integer Programming - Williams, H. Paul (Springer US, 2009)