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
Published in:
Circuits, Devices and Systems, IEE Proceedings -
(Volume:146
,
Issue:
4
)
Date of Publication: Aug 1999