Title: Logic and Integer Programming