Program Does Not Equal Program: Constraint Programming and Its Relationship to Mathematical Programming
TL;DR: In this paper, a short tutorial on constraint programming is presented, which explains how it relates to familiar mathematical programming concepts and how constraint programming and mathematical programming technologies are complementary, assuming a minimal background in linear and integer programming.
read more
Abstract: Arising from research in the computer science community, constraint programming is a fairly new technique for solving optimization problems. For those familiar with mathematical programming, a number of language barriers make it difficult to understand the concepts of constraint programming. In this short tutorial on constraint programming, we explain how it relates to familiar mathematical programming concepts and how constraint programming and mathematical programming technologies are complementary. We assume a minimal background in linear and integer programming.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Sequencing mixed-model assembly lines: Survey, classification and model critique
TL;DR: This paper reviews and discusses the three major planning approaches presented in the literature, mixed-model sequencing, car sequencing and level scheduling, and provides a hierarchical classification scheme to systematically record the academic efforts in each field and to deduce future research issues.
476
Replenishment Planning for Stochastic Inventory Systems with Shortage Cost
Roberto Rossi,S. Armagan Tarim,Brahim Hnich,Steven Prestwich +3 more
- 23 May 2007
TL;DR: This paper develops a CP approach able to compute optimal (R n ,S n ) policy parameters under stochastic demand, ordering, holding and shortage costs and uses the optimal solutions to analyze the quality of the solutions provided by an approximate MIP approach that exploits a piecewise linear approximation for the cost function.
Topological design of survivable mesh-based transport networks
Wayne D. Grover,John Doucette +1 more
TL;DR: In this article, the authors propose a method of designing a telecommunications network, the method comprising the steps of A) finding an initial topology of spans between nodes in the telecommunications network that is sufficient for routing all working demand flows, while attempting to minimize the cost of providing the spans; B) given the initial topological of spans identified in step A, finding a set of additional spans that ensure restorability of working demand flow that are required to be restored in case of failure of any span in step B.
109
A sequential ordering problem in automotive paint shops
TL;DR: In this article, a branch-and-bound approach for the colour batching process is presented, and the characteristics of parts of the colour-batching problem in selectivity banks are described as a sequential ordering problem.
105
A state of the art review of intelligent scheduling
TL;DR: A survey of intelligent scheduling systems is provided by categorizing them into five major techniques containing fuzzy logic, expert systems, machine learning, stochastic local search optimization algorithms and constraint programming.
104
References
•Book
Linear Programming and Extensions
George B. Dantzig
- 01 Jan 1963
TL;DR: This classic book looks at a wealth of examples and develops linear programming methods for their solutions and begins by introducing the basic theory of linear inequalities and describes the powerful simplex method used to solve them.
6.1K
•Book
Integer programming
George L. Nemhauser,Laurence A. Wolsey +1 more
- 01 Jan 1972
TL;DR: The principles of integer programming are directed toward finding solutions to problems from the fields of economic planning, engineering design, and combinatorial optimization as mentioned in this paper, which is a standard of graduate-level courses since 1972.
4.6K
•Book
AMPL: A Modeling Language for Mathematical Programming
Robert Fourer,Brian W. Kernighan +1 more
- 01 Jan 1993
TL;DR: An efficient translator is implemented that takes as input a linear AMPL model and associated data, and produces output suitable for standard linear programming optimizers.
3.2K
•Book
AMPL : a modeling language for mathematical programming
Robert Fourer,Brian W. Kernighan +1 more
- 01 Jan 2003
TL;DR: AMPL as mentioned in this paper is a language designed to make the optimization of large-scale mathematical programs easier and less error-prone than traditional linear programming optimizers, and it can be extended to more general mathematical programs that incorporate nonlinear expressions or discrete variables.
2.8K
Related Papers (5)
John R. Birge,Franois Louveaux +1 more
- 27 Jun 2011
[...]
George L. Nemhauser,Laurence A. Wolsey +1 more
- 01 Jan 1972