Paul Williams, a leading authority on modeling in integer programming, has written a concise, readable introduction to the science and art of using modeling in logic for integer programming. Written for graduate and postgraduate students, as well as academics and practitioners, the book is divided into four chapters that all avoid the typical format of definitions, theorems and proofs and instead introduce concepts and results within the text through examples. References are given...
Table of Content
An Introduction To Logic.- Integer Programming.- Modelling In Logic For Integer Programming.- The Satisfiability Problem and Its Extensions.
About the author
H.P.(Paul) Williams is Professor of Operational Research at the London School of Economics. He has a degree in Mathematics from Cambridge University and a Ph D in M...