DocumentCode
2988045
Title
A genetic algorithm for decomposition type choice in OKFDDs
Author
Drechsler, Rolf ; Becker, Bernd ; Göckel, Nicole ; Jahnke, Andrea
Author_Institution
Comput. Sci. Dept., Frankfurt Univ., Germany
fYear
1995
fDate
29-31 May 1995
Firstpage
225
Lastpage
232
Abstract
A genetic algorithm (GA) is applied to find decomposition type lists (DTLs) that minimize the size of ordered Kronecker functional decision diagrams (OKFDDs). OKFDDs are a data structure for representation and manipulation of Boolean functions. The choice of the DTL largely influences the size of the OKFDD, i.e. its size may vary from polynomial to exponential. In Dreschsler, Becker, and Jahnke (1995) heuristic methods have been presented. In this paper the authors show by experiments that better results can be obtained by using GAs
Keywords
directed graphs; genetic algorithms; minimisation; Boolean functions; data structure; decomposition type choice; exponential; genetic algorithm; heuristic methods; ordered Kronecker functional decision diagrams; polynomial; Boolean functions; Computer science; Data structures; Design automation; Genetic algorithms; Logic design; Machine learning; Polynomials; Routing; Test pattern generators;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligence in Neural and Biological Systems, 1995. INBS'95, Proceedings., First International Symposium on
Conference_Location
Herndon, VA
Print_ISBN
0-8186-7116-5
Type
conf
DOI
10.1109/INBS.1995.404257
Filename
404257
Link To Document