H. Paul Williams Logic and Integer Programming - 2009 ISBN: 978-0-387-92280-5 Subjects--Topical Terms: Mathematical Logic and FoundationsMathematical Modeling and Industrial MathematicsOperations Research/Decision TheoryOptimizationSoftware Engineering/Programming and Operating Systems Operations Research, Management ScienceComputer Science