Browsing Научные публикации в Scopus by Subject "k-OBDD"

Now showing items 1-2 of 2

Extension of the hierarchy for k-OBDDs of small width

Ablayev F.; Khadiev K. (2013)

In this paper we explore the well-known k-OBDD model of branching programs. We develop a method of representation of the k-OBDD computation process as an "automata-communication protocol" computation process. Our method ...
Width hierarchy for k-OBDD of small width

Khadiev K. (2015)

© 2015, Pleiades Publishing, Ltd. In this paper was explored well known model k-OBDD. There are proven width based hierarchy of classes of boolean functions which computed by k-OBDD. The proof of hierarchy is based on ...

Now showing items 1-2 of 2

Search DSpace