Randomized OBDD-based graph algorithms - Bury, Marc (Theoretical computer science, 2018)