Publication | Closed Access

An admissible and optimal algorithm for searching AND/OR graphs

EngineeringInformation RetrievalGraph TheoryAutomated ReasoningAlgorithm DesignComputational ComplexityComputer ScienceOptimal AlgorithmSearch TechniqueCombinatorial OptimizationGraph Algorithm