Searching for a minimal solution subgraph in explicit AND/OR graphs
An algorithm for searching for a minimal solution subgraph in AND/OR graphs with cycles is described, which works topdown and is appropriate to explicit AND/OR graphs.
minimal solution subgraph and/or graph topdown search