200 citations · 450 across the 51 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2019
Local Rapid Learning for Integer Programs
Timo Berthold, Peter J. Stuckey, Jakob Witzig
Conflict learning algorithms are an important component of modern MIP and CP solvers. But strong conflict information is typically gained by depth-first search. While this is the n…
math.OC2015★ 3 cited
Exploration of models for a cargo assembly planning problem
G. Belov, N. Boland, M. W. P. Savelsbergh +1
We consider a real-world cargo assembly planning problem arising in a coal supply chain. The cargoes are built on the stockyard at a port terminal from coal delivered by trains. Th…