TY - BOOK AU - Hooker John TI - Logic-based methods for optimization: combining optimization and constraint satisfaction T2 - Wiley-Interscience series in discrete mathematics and optimization SN - 0471385212 (hbd) U1 - B28931, P0 PY - 2000/// CY - New York John Wiley Sons, Inc. KW - Discrete mathematics KW - Optimization KW - Mathematics N1 - Bibliographical references 463-482p ER -