The OPL Optimization Programming Language

The OPL Optimization Programming Language
Author: Pascal Van Hentenryck
Publisher: MIT Press (MA)
Total Pages: 245
Release: 1999
Genre: Computers
ISBN: 9780262720304

OPL (Optimization Programming Language) is a new modeling language for combinatorial optimization that simplifies the formulation and solution of optimization problems. Perhaps the most significant dimension of OPL is the support for constraint programming, including sophisticated search specifications, logical and higher order constraints, and support for scheduling and resource allocation applications. This book, written by the developer of OPL, is a comprehensive introduction to the OPL programming language and its application to problems in linear and integer programming, constraint programming, and scheduling. Readers should be familiar with combinatorial optimization, at least from an application standpoint.

Modeling Languages in Mathematical Optimization

Modeling Languages in Mathematical Optimization
Author: Josef Kallrath
Publisher: Springer Science & Business Media
Total Pages: 427
Release: 2013-12-01
Genre: Mathematics
ISBN: 1461302153

This volume presents a unique combination of modeling and solving real world optimization problems. It is the only book which treats systematically the major modeling languages and systems used to solve mathematical optimization problems, and it also provides a useful overview and orientation of today's modeling languages in mathematical optimization. It demonstrates the strengths and characteristic features of such languages and provides a bridge for researchers, practitioners and students into a new world: solving real optimization problems with the most advances modeling systems.

Optimization Software Class Libraries

Optimization Software Class Libraries
Author: Stefan Voß
Publisher: Springer Science & Business Media
Total Pages: 363
Release: 2005-12-17
Genre: Computers
ISBN: 030648126X

Optimization problems in practice are diverse and evolve over time, giving rise to - quirements both for ready-to-use optimization software packages and for optimization software libraries, which provide more or less adaptable building blocks for app- cation-specific software systems. In order to apply optimization methods to a new type of problem, corresponding models and algorithms have to be “coded” so that they are accessible to a computer. One way to achieve this step is the use of a mod- ing language. Such modeling systems provide an excellent interface between models and solvers, but only for a limited range of model types (in some cases, for example, linear) due, in part, to limitations imposed by the solvers. Furthermore, while m- eling systems especially for heuristic search are an active research topic, it is still an open question as to whether such an approach may be generally successful. Modeling languages treat the solvers as a “black box” with numerous controls. Due to variations, for example, with respect to the pursued objective or specific problem properties, - dressing real-world problems often requires special purpose methods. Thus, we are faced with the difficulty of efficiently adapting and applying appropriate methods to these problems. Optimization software libraries are intended to make it relatively easy and cost effective to incorporate advanced planning methods in application-specific software systems. A general classification provides a distinction between callable packages, nume- cal libraries, and component libraries.

Optimization and Decision Support Design Guide: Using IBM ILOG Optimization Decision Manager

Optimization and Decision Support Design Guide: Using IBM ILOG Optimization Decision Manager
Author: Axel Buecker
Publisher: IBM Redbooks
Total Pages: 368
Release: 2012-10-10
Genre: Computers
ISBN: 0738437360

Today many organizations face challenges when developing a realistic plan or schedule that provides the best possible balance between customer service and revenue goals. Optimization technology has long been used to find the best solutions to complex planning and scheduling problems. A decision-support environment that enables the flexible exploration of all the trade-offs and sensitivities needs to provide the following capabilities: Flexibility to develop and compare realistic planning and scheduling scenarios Quality sensitivity analysis and explanations Collaborative planning and scenario sharing Decision recommendations This IBM® Redbooks® publication introduces you to the IBM ILOG® Optimization Decision Manager (ODM) Enterprise. This decision-support application provides the capabilities you need to take full advantage of optimization technology. Applications built with IBM ILOG ODM Enterprise can help users create, compare, and understand planning or scheduling scenarios. They can also adjust any of the model inputs or goals, and fully understanding the binding constraints, trade-offs, sensitivities, and business options. This book enables business analysts, architects, and administrators to design and use their own operational decision management solution.

A Deep Dive Into Strategic Network Design Programming

A Deep Dive Into Strategic Network Design Programming
Author: Peter Cacioppi
Publisher:
Total Pages: 114
Release: 2014
Genre: Computer software
ISBN:

This book is meant to help you get started writing mathematical models in a commercial modeling language, IBM ILOG CPLEX Studio 12.4. Learning a modeling language gives you the flexibility to create your own industrial-strength models and helps you understand the field of optimization better.

Handbook of Constraint Programming

Handbook of Constraint Programming
Author: Francesca Rossi
Publisher: Elsevier
Total Pages: 977
Release: 2006-08-18
Genre: Computers
ISBN: 0080463800

Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Constraint programming is currently applied with success to many domains, such as scheduling, planning, vehicle routing, configuration, networks, and bioinformatics.The aim of this handbook is to capture the full breadth and depth of the constraint programming field and to be encyclopedic in its scope and coverage. While there are several excellent books on constraint programming, such books necessarily focus on the main notions and techniques and cannot cover also extensions, applications, and languages. The handbook gives a reasonably complete coverage of all these lines of work, based on constraint programming, so that a reader can have a rather precise idea of the whole field and its potential. Of course each line of work is dealt with in a survey-like style, where some details may be neglected in favor of coverage. However, the extensive bibliography of each chapter will help the interested readers to find suitable sources for the missing details. Each chapter of the handbook is intended to be a self-contained survey of a topic, and is written by one or more authors who are leading researchers in the area.The intended audience of the handbook is researchers, graduate students, higher-year undergraduates and practitioners who wish to learn about the state-of-the-art in constraint programming. No prior knowledge about the field is necessary to be able to read the chapters and gather useful knowledge. Researchers from other fields should find in this handbook an effective way to learn about constraint programming and to possibly use some of the constraint programming concepts and techniques in their work, thus providing a means for a fruitful cross-fertilization among different research areas.The handbook is organized in two parts. The first part covers the basic foundations of constraint programming, including the history, the notion of constraint propagation, basic search methods, global constraints, tractability and computational complexity, and important issues in modeling a problem as a constraint problem. The second part covers constraint languages and solver, several useful extensions to the basic framework (such as interval constraints, structured domains, and distributed CSPs), and successful application areas for constraint programming.- Covers the whole field of constraint programming- Survey-style chapters- Five chapters on applications

Multiparadigm Constraint Programming Languages

Multiparadigm Constraint Programming Languages
Author: Petra Hofstedt
Publisher: Springer Science & Business Media
Total Pages: 183
Release: 2011-06-16
Genre: Computers
ISBN: 3642173306

Programming languages are often classified according to their paradigms, e.g. imperative, functional, logic, constraint-based, object-oriented, or aspect-oriented. A paradigm characterizes the style, concepts, and methods of the language for describing situations and processes and for solving problems, and each paradigm serves best for programming in particular application areas. Real-world problems, however, are often best implemented by a combination of concepts from different paradigms, because they comprise aspects from several realms, and this combination is more comfortably realized using multiparadigm programming languages. This book deals with the theory and practice of multiparadigm constraint programming languages. The author first elaborates on programming paradigms and languages, constraints, and the merging of programming concepts which yields multiparadigm (constraint) programming languages. In the second part the author inspects two concrete approaches on multiparadigm constraint programming – the concurrent constraint functional language CCFL, which combines the functional and the constraint-based paradigms and allows the description of concurrent processes; and a general framework for multiparadigm constraint programming and its implementation, Meta-S. The book is appropriate for researchers and graduate students in the areas of programming and artificial intelligence.

Principles and Practice of Constraint Programming - CP 2003

Principles and Practice of Constraint Programming - CP 2003
Author: Francesca Rossi
Publisher: Springer
Total Pages: 1024
Release: 2003-11-18
Genre: Computers
ISBN: 3540451935

This volume contains the proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP 2003), held in Kinsale, Ireland, from September 29 to October 3, 2003. Detailed information about the CP 2003 conference can be found at the URL http://www.cs.ucc.ie/cp2003/ The CP conferences are held annually and provide an international forum for the latest results on all aspects of constraint programming. Previous CP conferences were held in Cassis (France) in 1995, in Cambridge (USA) in 1996, in Schloss Hagenberg (Austria) in 1997, in Pisa (Italy) in 1998, in Alexandria (USA) in 1999, in Singapore in 2000, in Paphos (Cyprus) in 2001, and in Ithaca (USA) in 2002. Like previous CP conferences, CP 2003 again showed the interdisciplinary nature of computing with constraints, and also its usefulness in many problem domains and applications. Constraint programming, with its solvers, languages, theoretical results, and applications, has become a widely recognized paradigm to model and solve successfully many real-life problems, and to reason about problems in many research areas.

Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation
Author: M. Leuschel
Publisher: Springer
Total Pages: 290
Release: 2003-08-03
Genre: Computers
ISBN: 3540450130

The thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.