Optimization Methods for Logical Inference