Logic-based methods for optimization combining optimization and constraint satisfaction - Hooker, John (John Wiley & Sons, Inc., 2000)