Optimization methods for logical inference
By: Vijay Chandru, John Hooker.
Contributors: Hooker, John, 1949-
Series: Wiley-Interscience series in discrete mathematics and optimization
Publisher: Wiley
Published: 1999
Place of publication: New York
Language: eng
Number of pages: 365
Subjects: Combinatorial optimization.; Logic, Symbolic and mathematical.
Description: Presenting powerful, proven optimization techniques for logic inference problems, Chandru and Hooker show how optimization models can be used not only to solve problems in artificial intelligence and mathematical programming, but also have tremendous application in complex systems in general.

Requiring no background in logic and clearly explaining all topics from the ground up, Optimization Methods for Logical Inference is an invaluable guide for scientists and students in diverse fields, including operations research, computer science, artificial intelligence, decision support systems, and engineering.
Notes: Includes bibliographical references (p. 333-357) and index.
"A Wiley-Interscience publication."