Randomized OBDD-based graph algorithms
scientific article; zbMATH DE number 6986762
scientific article