Optimization Methods for Logical Inference | lit.salon