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
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;
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
DOI :
10.1109/INBS.1995.404257
