Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning.
Shachar ItzhakySumit GulwaniNeil ImmermanMooly SagivPublished in: LPAR (2013)
Keyphrases
- solving problems
- combinatorial optimization
- np complete
- quadratic programming
- automated reasoning
- optimization problems
- convex optimization problems
- reasoning tasks
- finite domain
- solving complex
- sparse linear systems
- data sets
- algebraic equations
- distributed constraint optimization problems
- reasoning problems
- resource constrained project scheduling problem
- linear programming problems
- exact solution
- numerical methods
- sensitivity analysis
- knowledge representation