Title: Optimization Methods for Logical Inference
Subjects: Combinatorial optimization, Logic, symbolic and mathematical