Reasoning with ordered binary decision diagrams
Ordered binary decision diagrams (OBDDs)
scientific article; zbMATH DE number 2093415
scientific article