On Reachability, Relevance, and Resolution in the Planning as Satisfiability Approach

Open in new window