Logic and integer programming - Williams, H. Paul (International Series in Operations Research & Management Science,, 2009)