Improved variable ordering for ROBDDs


Prasad, , PWC and Singh, , AK and Dominic, , MM (2003) Improved variable ordering for ROBDDs. DIGITAL LIBRARIES: TECHNOLOGY AND MANAGEMENT OF INDIGENOUS KNOWLEDGE FOR GLOBAL ACCESS , 2911 . pp. 544-547. ISSN 0302-9743

Full text not available from this repository.


Present here is a novel algorithm for minimization of the Reduced Ordered Binary Decision Diagram (ROBDD) by finding the best variable ordering for any Boolean function. Selection of ordering relation is achieved by considering each sub functions.

Item Type: Article
Subjects: Q Science > QA Mathematics > QA71-90 Instruments and machines > QA75.5-76.95 Electronic computers. Computer science
Divisions: Faculty of Information Science and Technology (FIST)
Depositing User: Ms Rosnani Abd Wahab
Date Deposited: 24 Aug 2011 00:12
Last Modified: 24 Aug 2011 00:12


Downloads per month over past year

View ItemEdit (login required)