Goal-Directed Equation Solving.

Nachum Dershowitz G. Sivakumar

Published in: AAAI (1988)

Keyphrases

goal directed
nonlinear equations
automated planning
autonomous robots
combinatorial optimization
numerical solution
computer vision
knowledge base
data sets
image processing
website
dynamic programming
domain independent
differential equations
hamilton jacobi
algebraic equations