A note on the size of OBDDs for the graph of integer multiplication
scientific article; zbMATH DE number 5719234
scientific article