Logic and integer programming - Williams, H. P. (International series in operations research & management science, 2009)