This book introduces readers to the principles of intelligent decision support systems (IDSS) and how to build them with MiniZinc, a free, open-source constraint programming language. Managing an IDSS project requires an understanding of the system¿s design and behaviour. The book enables readers to appreciate what ¿combinatorial¿ optimisation problems are, and how modelling a problem provides the basis for solving it. It also presents the main algorithms for tackling decision support problems, discusses their strengths and weaknesses, and explores ways of achieving the necessary scalability when problems become big. Moreover, to support the learning process it allows readers to try out the ideas described in the text on model applications and puzzles.
The book highlights the potential benefits of deploying an IDSS. It enables users to recognise the key risks involved and identify which techniques can be applied to minimise them, and to understand the decision support technology sufficiently in order to manage or monitor an IDSS project. It also helps readers distinguish between good sense and mere jargon when dealing with anyone involved in an IDSS project, from sales personnel to software implementers. As such it especially appeals to graduate students and advanced professionals who need to learn how to build an IDSS and to tackle the problems on the way.

Motivation for IDS.- Modelling and Choices.- Examples of Industrial Decisions.- Problem Modelling in MiniZinc.- Algorithms and Complexity.- Constraint Classes.- Constraint Classes and Solvers.- Constraint Classes in MiniZinc.- Integrating Solvers with Search.- Search Control in MiniZinc.- Uncertainty.- IDSS for optimisation - the future.

Mark Wallace is a leader in discrete optimisation at the Faculty of Information Technology at Monash University, Australia. He spent 21 years at the UK computer manufacturer ICL, moving from global marketing, to development, and finally to research. At Imperial College London he led the Constraint Programming team, whose software was purchased by Cisco Systems. In Australia, he founded the company Opturion, to productise and deploy a constraint modelling system now used in Australia's leading logistics companies. His research tackles the integration of multiple optimisation techniques and algorithms and their application to solving complex resource planning and scheduling problems.