Logic and integer programming - Williams, H. P. (Springer, 2009)