An asymptotically optimal lower bound on the OBDD size of the middle bit of multiplication for the pairwise ascending variable order (Q708357)

From MaRDI portal





scientific article; zbMATH DE number 5798512
Language Label Description Also known as
English
An asymptotically optimal lower bound on the OBDD size of the middle bit of multiplication for the pairwise ascending variable order
scientific article; zbMATH DE number 5798512

    Statements

    Identifiers