Exact Solution of Graph Coloring Problems via Constraint Programming and Column Generation

We consider two approaches for solving the classical minimum vertex coloring problem�that is, the problem of coloring the vertices of a graph so that adjacent vertices have different colors and minimizing the number of used colors, namely, constraint programming and column generation. Constraint programming is able to solve very efficiently many of the benchmarks but … Read more

Constraint propagation on quadratic constraints

This paper considers constraint propagation methods for continuous constraint satisfaction problems consisting of linear and quadratic constraints. All methods can be applied after suitable preprocessing to arbitrary algebraic constraints. The basic new techniques consist in eliminating bilinear entries from a quadratic constraint, and solving the resulting separable quadratic constraints by means of a sequence of … Read more

New hybrid optimization algorithms for machine scheduling problems

Dynamic programming, branch-and-bound, and constraint programming are the standard solution principles for finding optimal solutions to machine scheduling problems. We propose a new hybrid optimization framework that integrates all three methodologies. The hybrid framework leads to powerful solution procedures. We demonstrate our approach through the optimal solution of the single-machine total weighted completion time scheduling … Read more

Extending an Algebraic Modeling Language to Support Constraint Programming

We describe extensions to algebraic modeling languages and their solver interfaces that will be needed to take advantage of constraint programming solvers, particularly in the area of combinatorial optimization. CitationTechnical Report, Department of Industrial Engineering and Management Sciences, Northwestern University (2001); based on a shorter version that appeared in the Proceedings of the Third International … Read more

Facets of the Complementarity Knapsack Polytope

We present a polyhedral study of the complementarity knapsack problem, in which no auxiliary binary variables are introduced, but rather the inequalities are derived in the space of the continuous variables. CitationSchool of Industrial and Systems Engineering, GA Tech, under reviewArticleDownload View PDF

OR Counterparts to AI Planning

The term Planning is not used in Operations Research in the sense that is most common in Artificial Intelligence. AI Planning does have many features in common with OR scheduling, sequencing, routing, and assignment problems, however. Current approaches to solving such problems can be broadly classified into four areas: Combinatorial Optimization, Integer Programming, Constraint Programming, … Read more