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…