Logic-based methods for optimization combining optimization and constraint satisfaction - Hooker John (New York John Wiley, 2000)
Keywords: Linear programming; Mathematical logic; Mathematical optimization; Symbolic logic