Conference paper
COUNTERFACTUAL CONCEPT BOTTLENECK MODELS
Gabriele Dominici, Pietro Barbiero, et al.
ICLR 2025
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.
Gabriele Dominici, Pietro Barbiero, et al.
ICLR 2025
Zohar Feldman, Avishai Mandelbaum
WSC 2010
Yao Qi, Raja Das, et al.
ISSTA 2009
Hendrik F. Hamann
InterPACK 2013