Constraint Integer Programming: a New Approach to integrate CP and MIP (2008)

by Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter