Logic and integer programming (Q999171)

The present book comes in the trend of the extended and long known work of H. Paul Williams on integer programming. Following a tempting connection, also pursued by others (as credited), the author exposes most known concepts and results on integer programming through logic theory, exhibiting modeling and solving advantages. It also shows how integer programming can model logical requirements appearing in a number of combinatorial optimization problems. With a simple and accurate exposition, the present book organizes and links the most interesting ideas on the mentioned connection, highlighting and exploring the inherent decision processes and ingredients usually found in linear and integer programming. This is an important book for both graduate and post-graduate students, providing more concise descriptions and a clearer understanding of linear integer programming concepts and applications. It may be particularly valuable in courses with strong computational skills.