Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms.

Srinivas Nedunuri, Douglas R. Smith, William R. Cook

Browse the full FM paper archive.