TY - BOOK AU - Williams H Paul TI - Logic and integer programming SN - 978-0-387-92279-9 U1 - 519.7 PY - 2009/// CY - Dordrecht PB - Springer-Verlag KW - Integer programming KW - Logic programming ER -