Title: Optimization and computational logic
First published: 1996
Subjects: Linear programming, Logic, Symbolic and mathematical, Mathematical optimization, Symbolic and mathematical Logic
LC classification: T57.74 .M39 1996