Up: Computer science [Top][Contents]
A method for
finding goal vertices in a directed graph,
fundamental to solving computational problems.