47 search results - page 3 / 10 » Automated Configuration of Mixed Integer Programming Solvers |
169
Voted
GIS
2006
ACM
15 years 12 months ago
2006
ACM
We present a novel method for the automatic generalization of land cover maps. A land cover map is composed of areas that collectively form a tessellation of the plane and each ar...
136
Voted
WEA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract We report on experiments with turning the branch-price-andcut framework SCIP into a generic branch-price-and-cut solver. That is, given a mixed integer program (MIP), our ...
89
Voted
CADE
2010
Springer
15 years 1 days ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
AAAI
1998
15 years 9 days ago
1998
Production planning is an important task in manufacturing systems. We consider a real-world capacitated lot-sizing problem (CLSP) from the process industry. Because the problem re...
102
Voted
ATAL
2008
Springer
15 years 29 days ago
2008
Springer
Mixed Multi-Unit Combinatorial Auctions offer a high potential to be employed for the automated assembly of supply chains of agents offering goods and services. Their winner deter...