Ablayev F.; Gainutdinova A.; Khadiev K.; Yakaryılmaz A.
(2016)
© 2016, Pleiades Publishing, Ltd.In the paper we investigate Ordered Binary Decision Diagrams (OBDDs)–a model for computing Boolean functions. We present a series of results on the comparative complexity for several variants ...