Title: Optimization methods for logical inference
First published: 1999
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.
Subjects: Combinatorial optimization, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA402.5 .C447 1999