Optimization Methods for Logical Inference

Chandru, V. (Purdue University, West Lafayette, USA)

Optimization Methods for Logical Inference - Reissue - New York John Wiley and Sons Ltd 1999 - 382 p. hardback.

BookData Record

0471570354


Combinatorial optimization.
Logic, Symbolic and mathematical.

QA402.5.C4