What Graphs can be Efficiently Represented by BDDs? | IEEE Conference Publication | IEEE Xplore