TY - BOOK AU - Williams, H.P. TI - Logic and integer programming SN - 9780387922799 U1 - 005.115 PY - 2009/// CY - New York PB - Springer KW - Logic programming ER -