Constraint and integer programming in OPL

DOI10.1287/IJOC.14.4.345.2826MaRDI QIDQ2884541zbMATH OpenOpenAlexFDO

Authors Pascal Van Hentenryck

Publication date 30 May 2012

Published in INFORMS Journal on Computing (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/efe3167c711bbe5ef653c0a8e9f23efd9db6dd84

zbMATH Keywords

integer programmingartificial intelligencecomputer science

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Integer programming (90C10) Software, source code, etc. for problems pertaining to operations research and mathematical programming (90-04) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Search and strategies in OPL
• Logic, optimization, and constraint programming
• An example of integrating constraint programming and mathematical programming
• Constraint programming and operations research
• The role of integer programming techniques in constraint programming's global constraints

Cited in

(25)

• An exact solution method for multi-manned disassembly line design with and/or precedence relations
• A job-shop scheduling approach for optimising sugarcane rail operations
• Balancing and scheduling of flexible mixed model assembly lines
• A constraint programming approach to the multiple-venue, sport-scheduling problem
• Dynamic structural symmetry breaking for constraint satisfaction problems
• Semiring programming: a semantic framework for generalized sum product problems
• Minimization of rest mismatches in round robin tournaments
• Exact methods for the oven scheduling problem
• Contraint-based combinators for local search
• A constraint programming-based approach to the crew scheduling problem of the Taipei mass rapid transit system
• Assigning cross-trained workers to departments: a two-stage optimization model to maximize utility and skill improvement
• A novel constraint programming and simulated annealing for disassembly line balancing problem with and/or precedence and sequence dependent setup times
• scientific article; zbMATH DE number 7124428 (Why is no real title available?)
• \textsc{Conjure}: automatic generation of constraint models from problem specifications
• Constraint programming model for multi-manned assembly line balancing problem
• A method for detecting symmetries in constraint models and its generalisation
• Searching for mutually orthogonal Latin squares via integer and constraint programming
• SCIP: solving constraint integer programs
• Search and strategies in OPL
• Constraint-based robust planning and scheduling of airport apron operations through simheuristics
• OSiL: An instance language for optimization
• Logic, optimization, and constraint programming
• Properties of Some Combinatorial Optimization Problems and Their Effect on the Performance of Integer Programming and Constraint Logic Programming
• An integrated solver for optimization problems
• An exact constraint programming based procedure for the multi-manned assembly line balancing problem

Describes a project that uses

Uses Software

• OPL
• Numerica
• Oz
• AMPL
• CHIP
• SALSA

This page was built for publication: Constraint and integer programming in OPL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2884541)