Logic-based methods for optimization: combining optimization and constraint satisfaction - Hooker John (New York John Wiley Sons, Inc., 2000)
Bibliographical references 463-482p.
Keywords: Discrete mathematics; Optimization; Mathematics