Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 - Satisfiability modulo theories - Document - PDFSEARCH.IO

First Page	Meta Content
	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Open Document File Size: 521,42 KB Share Result on Facebook

Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1Add to Reading List