Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning.

Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv

Browse the full LPAR paper archive.