Optimization Methods for Logical Inference door John Hooker & Vijay Chandru