Optimization Methods for Logical Inference by John Hooker & Vijay Chandru