Optimization methods for logical inference

by Vijay Chandru

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 a…