DocumentCode
2037682
Title
An application of genetic algorithms to the ROBDD optimization
Author
Pulido, Juan A Gómez ; Pérez, Juan M Sánchez
Author_Institution
Dept. de Inf., Univ. de Extremadura, Caceres, Spain
fYear
1997
fDate
2-4 Sep 1997
Firstpage
290
Lastpage
295
Abstract
Reduced-order binary decision diagrams (ROBDDs) are compact data structures used for representing logic functions. The ROBDD size is very sensitive to the chosen variable ordering of the logical function. In this work, a methodology based on genetic algorithms (GAs) for optimizing ROBDDs is proposed. The experimental results found are studied and compared with those obtained using a conventional optimization methodology
Keywords
Boolean functions; ROBDD optimization; compact data structures; genetic algorithms; logic functions; reduced-order binary decision diagrams;
fLanguage
English
Publisher
iet
Conference_Titel
Genetic Algorithms in Engineering Systems: Innovations and Applications, 1997. GALESIA 97. Second International Conference On (Conf. Publ. No. 446)
Conference_Location
Glasgow
ISSN
0537-9989
Print_ISBN
0-85296-693-8
Type
conf
DOI
10.1049/cp:19971195
Filename
681040
Link To Document