This book integrates the key concepts of mathematical programming (MP) and constraint programming (CP) into a unified framework that allows them to be generalized and combined. The unification of MP and CP creates optimization methods that have much greater modeling power, increased computational speed, and a sizeable reduction computational coding. This integration along with constraint programming being incorporated into a number of programming languages, brings the field a step closer to being able to simply state a problem and having the computer solve it.
John Hooker is a leading researcher in both the Optimization and Constraint Programming research communities. He has been an instrumental principal for this integration, and over the years, he has given numerous presentations and tutorials on the integration of these two areas. It is felt by many in the field that the future Optimization courses will increasingly be taught from this integrated framework. Prof. Hooker has published two earlier books on the methodologies of Optimization and Constraint Programming. The first was Optimization Methods for Logical Inference (Wiley 1999) and the second was Logic Based Methods for Optimization: Combining Optimization and Constraints Satisfaction (Wiley 2000). This book will be his third book in this evolving area and it is the book that completes the process of integrating these two methodologies into a single set of methods
Elvin Coban, John N. Hooker
Springer-Verlag New York Inc.
Date of Publication
International Series in Operations Research & Management Science