Leo Liberti, James Ostrowski
Journal of Global Optimization
An algorithm is given for computing the transitive closure of a binary relation that is represented by a Boolean matrix. The algorithm is similar to Warshall's although it executes faster for sparse matrices on most computers, particularly in a paging environment. © 1975, ACM. All rights reserved.
Leo Liberti, James Ostrowski
Journal of Global Optimization
Kaoutar El Maghraoui, Gokul Kandiraju, et al.
WOSP/SIPEW 2010
Maurice Hanan, Peter K. Wolff, et al.
DAC 1976
Nanda Kambhatla
ACL 2004