TY - BOOK AU - Hooker,John TI - Logic - based methods for optimization: combining optimization and constrain satisfaction T2 - Wiley Series in Discrete Mathematics and Optimization SN - 0471385212 U1 - 519.72 PY - 2000/// CY - Estados Unidos PB - John Wesley & Sons KW - Programación lineal KW - Lógica simbólica y matemática N1 - Incluye: Bibliografía e índice ER -