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
fDate :
8/1/1999 12:00:00 AM
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;
Journal_Title :
Circuits, Devices and Systems, IEE Proceedings -
DOI :
10.1049/ip-cds:19990439
