Mongkol Ekpanyapong Thaisiri Watewai Sung Kyu Lim Statistical Bellman-Ford algorithm with an application to retiming. 959-964 2006 conf/aspdac/2006 ASP-DAC http://doi.acm.org/10.1145/1118299.1118514 db/conf/aspdac/aspdac2006.html#EkpanyapongWL06