Logic-based methods for optimization : - Hooker, John (Wiley series in discrete mathematics and optimization, 2000)