Computing the Shortest Reset Words of Synchronizing Automata

Journal of Combinatorial Optimization - Netherlands
doi 10.1007/s10878-013-9682-0