Ordered binary design graphs and their signification in computer aided design of high-integrated circuits

From MaRDI portal