A general heuristic bottom-up procedure for searching AND/OR graphs

From MaRDI portal
Publication:2639647