Sciweavers

CONSTRAINTS
2011
13 years 6 months ago
Dantzig-Wolfe decomposition and branch-and-price solving in G12
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace...
CONSTRAINTS
2008
109views more  CONSTRAINTS 2008»
13 years 11 months ago
The Design of the Zinc Modelling Language
Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematical...
Kim Marriott, Nicholas Nethercote, Reza Rafeh, Pet...