TY - BOOK AU - Hooker,John TI - LOGIC-BASED METHODS FOR OPTIMIZATION SN - 0471385212 U1 - 519.72 PY - 2000/// CY - PB - John Wiley, New York KW - Linear Programming KW - Mathematical Optimization KW - Logic, Symbolic And Mathematical ER -