Searching optimal ROBDDs using methodologies based on evolutionary algorithms

Authors
Pulido, JAG Perez, JMS
Citation
Jag. Pulido et Jms. Perez, Searching optimal ROBDDs using methodologies based on evolutionary algorithms, IEE P-CIRC, 146(4), 1999, pp. 164-168
Citations number
10
Categorie Soggetti
Eletrical & Eletronics Engineeing
Journal title
IEE PROCEEDINGS-CIRCUITS DEVICES AND SYSTEMS
ISSN journal
13502409 → ACNP
Volume
146
Issue
4
Year of publication
1999
Pages
164 - 168
Database
ISI
SICI code
1350-2409(199908)146:4<164:SORUMB>2.0.ZU;2-1
Abstract
Reduced and ordered binary decision diagrams (ROBDDs) are compact data stru ctures used for representing logic functions. The ROBDD size is very sensit ive to the chosen variable ordering of the logical function. The authors pr opose a methodology based on simulated annealing (SA) algorithms and on gen etic algorithms (GAs) for optimising ROBDDs.