Williams, H. Paul: Logic and Integer Programming