Vijay Chandru

Optimization Methods for Logical Inference