Formalizing Dependency Directed Backtracking and Explanation Based Learning in Refinement Search.

Subbarao Kambhampati

Browse the full AAAI paper archive.