Home / Computer science
A method for
finding goal vertices in a directed graph,
fundamental to solving computational problems.