TY  - BOOK
AU  - Chandru, V. (Purdue University, West Lafayette, USA)
AU  - Hooker, J. (Carnegie-Mellon University, Pittsburgh, USA)
TI  - Optimization Methods for Logical Inference
SN  - 0471570354
AV  - QA402.5.C4 
PY  - 1999///
CY  - New York
PB  - John Wiley and Sons Ltd
KW  - Combinatorial optimization
KW  - Logic, Symbolic and mathematical
N1  - BookData Record
ER  -