BEST ROBDD VARIABLE ORDERING FOR FUNCTIONS WITH DISJUNCTIVE DECOMPOSITIONS

Authors
DUBROVA EV MILLER DM MUZIO JC
Citation
Ev. Dubrova et al., BEST ROBDD VARIABLE ORDERING FOR FUNCTIONS WITH DISJUNCTIVE DECOMPOSITIONS, Electronics Letters, 33(14), 1997, pp. 1198-1200
Citations number
5
Categorie Soggetti
Engineering, Eletrical & Electronic
Journal title
Electronics Letters → ACNP
ISSN journal
00135194
Volume
33
Issue
14
Year of publication
1997
Pages
1198 - 1200
Database
ISI
SICI code
0013-5194(1997)33:14<1198:BRVOFF>2.0.ZU;2-#
Abstract
The problem of finding, a variable ordering rn minimise the size of an ROBDD is considered for functions possessing disjunctive decompositio ns. An example is presented showing that the best ordering for a funct ion with a disjunctive decomposition cannot always be directly determi ned from the best orderings ibr the component functions.