Introduction - If you have any usage issues, please Google them yourself
Logic and Integer Programming.
This book combines two related topics which are usually covered in separate texts,namely logic and integer programming (discrete ptimisation). These two subjects have close connections and each is applicable to the other.