Exact OBDD bounds for some fundamental functions

From MaRDI portal
Publication:1959388