Book

Optimization Methods for Logical Inference

by Vijay Chandru, John Hooker