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