TY - BOOK AU - Williams H Paul TI - Logic and integer programming U1 - B289, P9 PY - 2009/// CY - New York PB - Springer KW - Mathematics ER -