Optimization Methods for Logical Inference: Chandru/Optimization