Mohamed Raseen

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

Mohamed Raseen, P. W. Chandana Prasad, Ali Assi
An efficient estimation of the ROBDD's complexity. Integr. 39 (3) (2006)
Mohamed Raseen, Ali Assi, P. W. Chandana Prasad, Adnan Harb
Effect of Boolean Min-terms on the Complexity of ROBDDs. International Conference on Computational Intelligence (2004)
P. W. Chandana Prasad, Ali Assi, Mohamed Raseen
BDD Minimization Using Graph Parameter Permutation. ESA/VLSI (2004)
P. W. Chandana Prasad, Ali Assi, Mohamed Raseen, Adnan Harb
BDD Based Method for Fast Equivalence Checking. International Conference on Computational Intelligence (2004)