Dong, C.Molitor, Paul2025-06-022005https://epflicht.bibliothek.uni-halle.de/handle/123456789/15479506505545urn:nbn:de:gbv:3:2-759446856Online-Resource (PDF-Datei: 16 S., 0,17 MB)enghttp://rightsstatements.org/vocab/InC/1.0/510What graphs can be efficiently represented by BDDs? / C. Dong and P. MolitorBook