Sciweavers

21 search results - page 1 / 5
» Constraint Integer Programming: A New Approach to Integrate ...
Sort
View
CPAIOR
2008
Springer
13 years 6 months ago
Constraint Integer Programming: A New Approach to Integrate CP and MIP
Tobias Achterberg, Timo Berthold, Thorsten Koch, K...
CPAIOR
2007
Springer
13 years 10 months ago
Modeling the Regular Constraint with Integer Programming
Many optimisation problems contain substructures involving constraints on sequences of decision variables. Such constraints can be very complex to express with mixed integer progra...
Marie-Claude Côté, Bernard Gendron, L...
CPAIOR
2010
Springer
13 years 2 months ago
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
Peter J. Stuckey
TVCG
2011
120views more  TVCG 2011»
12 years 11 months ago
Drawing and Labeling High-Quality Metro Maps by Mixed-Integer Programming
—Metro maps are schematic diagrams of public transport networks that serve as visual aids for route planning and navigation tasks. It is a challenging problem in network visualiz...
Martin Nöllenburg, Alexander Wolff
CPAIOR
2010
Springer
13 years 9 months ago
A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling
Abstract. We propose a hybrid approach for solving the resource-constrained project scheduling problem which is an extremely hard to solve combinatorial optimization problem of pra...
Timo Berthold, Stefan Heinz, Marco E. Lübbeck...