Goal-Directed Equation Solving.

Nachum Dershowitz, G. Sivakumar

Browse the full AAAI paper archive.