@inproceedings{InProc-NW2005a, author = {Robin Nunkesser and Philipp Woelfel}, title = {Representation of Graphs by OBDDs}, booktitle = {Algorithms and Computation, 16th International Symposium (ISAAC)}, pages = {1132-1142}, year = {2005}, doi = {10.1007/11602613_112}, }