Logic And Integer Programming by H.P. Williams & H. Paul Williams