DocumentCode
1268574
Title
Searching optimal ROBDDs using methodologies based on evolutionary algorithms
Author
Pulido, J. A Gómez ; Pérez, J. M Sànchez
Author_Institution
Dept. of Comput. Sci., Univ. of Extramadura, Spain
Volume
146
Issue
4
fYear
1999
fDate
8/1/1999 12:00:00 AM
Firstpage
164
Lastpage
168
Abstract
Reduced and ordered 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. The authors propose a methodology based on simulated annealing (SA) algorithms and on genetic algorithms (GAs) for optimising ROBDDs
Keywords
binary decision diagrams; data structures; genetic algorithms; logic CAD; simulated annealing; ROBDD size; data structures; evolutionary algorithms; genetic algorithms; logic functions; optimal ROBDDs; reduced and ordered binary decision diagrams; simulated annealing; variable ordering;
fLanguage
English
Journal_Title
Circuits, Devices and Systems, IEE Proceedings -
Publisher
iet
ISSN
1350-2409
Type
jour
DOI
10.1049/ip-cds:19990439
Filename
803790
Link To Document