P. SAKTHIVEL


A New Preprocessing Method for Efficient Construction of Decision Diagrams
S. R. MALATHI P. SAKTHIVEL 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2014/02/01
Vol. E97-A  No. 2  pp. 624-631
Type of Manuscript:  PAPER
Category: Algorithms and Data Structures
Keyword: 
cubesdecision diagramPLA formatformal verificationBDD pre-processing
 Summary | Full Text:PDF(1.4MB)