TY  - BOOK
AU  - H. Paul Williams
TI  - Logic and Integer Programming
SN  - 978-0-387-92280-5
PY  - 2009///
KW  - Mathematical Logic and Foundations
KW  - Mathematical Modeling and Industrial Mathematics
KW  - Operations Research/Decision Theory
KW  - Optimization
KW  - Software Engineering/Programming and Operating Systems
KW  -  Operations Research, Management Science
KW  - Computer Science
UR  - http://link.springer.com/openurl?genre=book&isbn=978-0-387-92280-5
ER  -