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: | Prasad, , PWC, Singh, , AK, Dominic, , MM |
|---|---|
| Format: | Article |
| Published: |
2003
|
| Subjects: | |
| Online Access: | http://shdl.mmu.edu.my/2597/ |
Similar Items
Variable order verification use of logic representation
by: Prasad, , PWC, et al.
Published: (2003)
by: Prasad, , PWC, et al.
Published: (2003)
Weights Binary Decision Diagram (WBDD) and its application to Matrix Multiplication
by: Bhuvaneswari, T., et al.
Published: (2009)
by: Bhuvaneswari, T., et al.
Published: (2009)
A Markovian inventory system with random shelf time and back orders
by: CHAKRAVARTHY, S, et al.
Published: (2004)
by: CHAKRAVARTHY, S, et al.
Published: (2004)
Fuzzy and ANN based variable gain PI controllers for STAT COM
by: Morris, , S, et al.
Published: (2005)
by: Morris, , S, et al.
Published: (2005)
Intelligent Pool Decision System Using Zero-Order Sugeno Fuzzy System
by: Chua, Shing Chyi, et al.
Published: (2005)
by: Chua, Shing Chyi, et al.
Published: (2005)
Benchmark circuit complexity validation using binary decision diagram characteristics
by: Mills,, Bruce, et al.
Published: (2006)
by: Mills,, Bruce, et al.
Published: (2006)
Predictors Of Flourishing Among Elderly In Penang, Malaysia: The Role Of Demographic Variables And Perma Elements
by: Liew, Wei Peng
Published: (2022)
by: Liew, Wei Peng
Published: (2022)
Enhanced Conditional Generative Adversarial Network For Handling Subject Variability In Human Activity Recognition
by: Jimale, Ali Olow
Published: (2023)
by: Jimale, Ali Olow
Published: (2023)
Enhanced Statistical Modelling For Variable Bit Rate Video Traffic Generated From Scalable Video Codec
by: Ahmadpour, Sima
Published: (2016)
by: Ahmadpour, Sima
Published: (2016)
Improving Generalization Performance in Co-Evolutionary Learning
by: Chong, Siang Yew, et al.
Published: (2012)
by: Chong, Siang Yew, et al.
Published: (2012)
On An Improved Parallel Construction Of Suffix Arrays For Low Bandwidth Pc-Cluster.
by: Kok, Jun Lee, et al.
Published: (2003)
by: Kok, Jun Lee, et al.
Published: (2003)
Using Economic Model To Improve The Performance Of BHR Dynamic Replication Algorithm.
by: Kanesin, Yogita, et al.
Published: (2007)
by: Kanesin, Yogita, et al.
Published: (2007)
Improved Multi-Verse Optimizer In Text Document Clustering For Topic Extraction
by: Abasi, Ammar Kamal Mousa
Published: (2021)
by: Abasi, Ammar Kamal Mousa
Published: (2021)
Action-Based Help Technique To Improve Learnability And Understandability Of Web Applications
by: Shamsuddin, Nurul Afiqah
Published: (2014)
by: Shamsuddin, Nurul Afiqah
Published: (2014)
Cryptanalysis of two anonymous buyer-seller watermarking protocols and an improvement for true anonymity
by: Goi, , BM, et al.
Published: (2004)
by: Goi, , BM, et al.
Published: (2004)
Improving The Efficiency Of Sip
Authentication Based On The
Pre-Calculated Look-Up Table
by: Jaber, Aws Naser
Published: (2013)
by: Jaber, Aws Naser
Published: (2013)
Improvement Of Facial Recognition Accuracy Using Eye-Lids Movement And Tensorflow Model
by: Sukri, Syazwan Syafiqah
Published: (2021)
by: Sukri, Syazwan Syafiqah
Published: (2021)
Improving visual evoked potential feature classification for person recognition using PCA and normalization
by: Palaniappan, Ramaswamy, et al.
Published: (2006)
by: Palaniappan, Ramaswamy, et al.
Published: (2006)
A New Approach Based On Honeybee Guarding
System To Improve Intrusion Detection System
by: Ahmed Ali, Ghassan
Published: (2011)
by: Ahmed Ali, Ghassan
Published: (2011)
Improving Chaotic Cryptographic
Primitives Based On Map’s
Complexity And Period Length Of
The Chaotic Maps
by: Masoumi, Amir Akhavan
Published: (2015)
by: Masoumi, Amir Akhavan
Published: (2015)
A new approach based on honeybee guarding system to improve intrusion detection system.
by: Ahmed Ali, Ghassan
Published: (2011)
by: Ahmed Ali, Ghassan
Published: (2011)
Heuristic Based Planning Approach For
Improving Wireless Network Coverage Of Multi-Storey Building
by: Yeong, Shoa Yei
Published: (2011)
by: Yeong, Shoa Yei
Published: (2011)
Rewind: Cbt-Based Serious Game To Improve Cognitive Emotion Regulations And Anxiety Disorders
by: Heng, Yew Ken
Published: (2023)
by: Heng, Yew Ken
Published: (2023)
Evaluation Of Existing Software For Simulating Of Crowd At Masjid Al-Haram,
by: Sarmady, S., et al.
Published: (2007)
by: Sarmady, S., et al.
Published: (2007)
Cryptanalysis of an improved client-to-client password-authenticated key exchange (C2C-PAKE) scheme
by: Phan, , RCW, et al.
Published: (2005)
by: Phan, , RCW, et al.
Published: (2005)
A cascaded classifier approach for improving detection rates on rare attack categories in network intrusion detection
by: Khor, Kok Chin, et al.
Published: (2012)
by: Khor, Kok Chin, et al.
Published: (2012)
Modulation Transfer Function Compensation
Through A Modified Wiener Filter
For Spatial Image Quality Improvement
by: Wong , Soo Mee
Published: (2010)
by: Wong , Soo Mee
Published: (2010)
An Improved K-Nearest Neighbors Approach Using Modified Term Weighting And Similarity Coefficient For Text Classification
by: Kadhim, Ammar Ismael
Published: (2016)
by: Kadhim, Ammar Ismael
Published: (2016)
Modulation Transfer Function Compensation Through A Modified Wiener Filter For Spatial Image Quality Improvement.
by: Wong, Soo Mee
Published: (2010)
by: Wong, Soo Mee
Published: (2010)
Improving IPv6 Packets Transmission Over High Speed Networks By Introducing CRC Extension Header
by: Supriyanto, .
Published: (2010)
by: Supriyanto, .
Published: (2010)
Improving the performance of two-state mental task brain-computer interface design using linear discriminant classifier
by: Palaniappan, , R, et al.
Published: (2005)
by: Palaniappan, , R, et al.
Published: (2005)
Variability analysis of impedance matching network
by: CHUNG, B
Published: (2006)
by: CHUNG, B
Published: (2006)
Ipv6 Migration Framework For Government Agencies In
Malaysia
by: Mohinder Singh, A Winder Kaur
Published: (2009)
by: Mohinder Singh, A Winder Kaur
Published: (2009)
Dynamic tunneling based regularization in feedforward neural networks
by: Singh, Y.P., et al.
Published: (2001)
by: Singh, Y.P., et al.
Published: (2001)
A HYBRID GENETIC ALGORITHM FOR OPTICAL ORTHOGONAL CODE CONSTRUCTION
by: Ho, C. K., et al.
Published: (2003)
by: Ho, C. K., et al.
Published: (2003)
Hybridization of gradient descent algorithms with dynamic tunneling methods for global optimization
by: RoyChowdhury, Pinaki, et al.
Published: (2000)
by: RoyChowdhury, Pinaki, et al.
Published: (2000)
AN ENHANCED ANT COLONY OPTIMIZATION METAHEURISTIC FOR THE MINIMUM DOMINATING SET PROBLEM
by: Ho, Chin Kuan, et al.
Published: (2006)
by: Ho, Chin Kuan, et al.
Published: (2006)
Exploring Motion Sequence of Virtual Characters: Experimenting Motion Capture Variables
by: Joon, Jong Sze, et al.
Published: (2007)
by: Joon, Jong Sze, et al.
Published: (2007)
Security attacks taxonomy on bring your own devices (BYOD) model
by: Singh, Manmeet Mahinderjit, et al.
Published: (2014)
by: Singh, Manmeet Mahinderjit, et al.
Published: (2014)
Buffering management schemes for optical variable length packets under limited packet sorting
by: Tan, Choo Peng, et al.
Published: (2006)
by: Tan, Choo Peng, et al.
Published: (2006)
Similar Items
-
Variable order verification use of logic representation
by: Prasad, , PWC, et al.
Published: (2003) -
Weights Binary Decision Diagram (WBDD) and its application to Matrix Multiplication
by: Bhuvaneswari, T., et al.
Published: (2009) -
A Markovian inventory system with random shelf time and back orders
by: CHAKRAVARTHY, S, et al.
Published: (2004) -
Fuzzy and ANN based variable gain PI controllers for STAT COM
by: Morris, , S, et al.
Published: (2005) -
Intelligent Pool Decision System Using Zero-Order Sugeno Fuzzy System
by: Chua, Shing Chyi, et al.
Published: (2005)