Improved variable ordering for ROBDDs
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.
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Published: |
2003
|
| Subjects: | |
| Online Access: | http://shdl.mmu.edu.my/2597/ |
| _version_ | 1848790098749947904 |
|---|---|
| author | Prasad, , PWC Singh, , AK Dominic, , MM |
| author_facet | Prasad, , PWC Singh, , AK Dominic, , MM |
| author_sort | Prasad, , PWC |
| building | MMU Institutional Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T18:07:13Z |
| format | Article |
| id | mmu-2597 |
| institution | Multimedia University |
| institution_category | Local University |
| last_indexed | 2025-11-14T18:07:13Z |
| publishDate | 2003 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | mmu-25972011-08-24T00:12:18Z http://shdl.mmu.edu.my/2597/ Improved variable ordering for ROBDDs Prasad, , PWC Singh, , AK Dominic, , MM QA75.5-76.95 Electronic computers. Computer science 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. 2003 Article NonPeerReviewed 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 |
| spellingShingle | QA75.5-76.95 Electronic computers. Computer science Prasad, , PWC Singh, , AK Dominic, , MM Improved variable ordering for ROBDDs |
| title | Improved variable ordering for ROBDDs |
| title_full | Improved variable ordering for ROBDDs |
| title_fullStr | Improved variable ordering for ROBDDs |
| title_full_unstemmed | Improved variable ordering for ROBDDs |
| title_short | Improved variable ordering for ROBDDs |
| title_sort | improved variable ordering for robdds |
| topic | QA75.5-76.95 Electronic computers. Computer science |
| url | http://shdl.mmu.edu.my/2597/ |