TY - BOOK AU - Hooker, J (Carnegie Mellon University, USA) TI - Logic-based Methods for Optimization SN - 0471385212 AV - T57.74.H66 PY - 2000/// CY - New York PB - John Wiley and Sons Ltd KW - Linear programming KW - Mathematical optimization KW - Logic, Symbolic and mathematical N1 - BookData Record ER -