 | 2006 |
|---|
| 4 |       | Mohamed Raseen,
P. W. Chandana Prasad,
Ali Assi:
An efficient estimation of the ROBDD's complexity.
Integration 39(3): 211-228 (2006) |
| 2004 |
|---|
| 3 |  | P. W. Chandana Prasad,
Ali Assi,
Mohamed Raseen:
BDD Minimization Using Graph Parameter Permutation.
ESA/VLSI 2004: 491-496 |
| 2 | | Mohamed Raseen,
Ali Assi,
P. W. Chandana Prasad,
A. Harb:
Effect of Boolean Min-terms on the Complexity of ROBDDs.
International Conference on Computational Intelligence 2004: 454-457 |
| 1 | | P. W. Chandana Prasad,
Ali Assi,
Mohamed Raseen,
A. Harb:
BDD Based Method for Fast Equivalence Checking.
International Conference on Computational Intelligence 2004: 474-477 |
