Methods -- The Formulation and Solution of Discrete Optimisation Models -- Continuous Approaches for Solving Discrete Optimization Problems -- Logic-Based Modeling -- Modelling for Feasibility - the Case of Mutually Orthogonal Latin Squares Problem -- Network Modelling -- Modeling and...

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...