Algorithms for searching explicit AND/OR graphs and their applications to problem reduction search

From MaRDI portal
Publication:1321063