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.

Abstract

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 > 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
URI: http://shdl.mmu.edu.my/id/eprint/2597

Actions (login required)

View Item View Item