Representation of graphs by OBDDs
scientific article; zbMATH DE number 5523152
scientific article