Mixed logical/linear programming, Discrete Applied Mathematics 96– 97 (1999)

by J N Hooker, M A Osorio