LOGIC-BASED METHODS FOR OPTIMIZATION - Hooker,John (John Wiley, New York, 2000)
Keywords: Linear Programming; Mathematical Optimization; Logic, Symbolic And Mathematical