Brudaru, Octav und Ebendt, Rüdiger und Furdu, Iulian (2010) Optimizing Variable Ordering of BDDs with Double Hybridized Embryonic Genetic Algorithm. 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010), 2010-09-23 - 2010-09-26, Timisoara, Romania. ISBN 978-0-7695-4324-6.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
Offizielle URL: http://www.computer.org/portal/web/csdl/doi/10.1109/SYNASC.2010.33
Kurzfassung
This paper presents a new double hybridized genetic algorithm for optimizing the variable order in Reduced Ordered Binary Decision Diagrams. The first hybridization adopts embryonic chromosomes as prefixes of variable orders instead of complete variable orders and combines a branch & bound technique with the basic genetic algorithm. The second hybridization is done with the existing sifting algorithm, known as one of the most effective heuristic for this problem, which is incorporated as a hypermutation operator.
elib-URL des Eintrags: | https://elib.dlr.de/77341/ | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dokumentart: | Konferenzbeitrag (Paper) | ||||||||||||||||
Titel: | Optimizing Variable Ordering of BDDs with Double Hybridized Embryonic Genetic Algorithm. | ||||||||||||||||
Autoren: |
| ||||||||||||||||
Datum: | 2010 | ||||||||||||||||
Referierte Publikation: | Ja | ||||||||||||||||
Open Access: | Nein | ||||||||||||||||
Gold Open Access: | Nein | ||||||||||||||||
In SCOPUS: | Nein | ||||||||||||||||
In ISI Web of Science: | Nein | ||||||||||||||||
Seitenbereich: | Seiten 167-173 | ||||||||||||||||
ISBN: | 978-0-7695-4324-6 | ||||||||||||||||
Status: | veröffentlicht | ||||||||||||||||
Stichwörter: | BDD, OBDD, ROBDD, optimization of variable ordering, genetic algorithm, branch and bound technique, hybridization | ||||||||||||||||
Veranstaltungstitel: | 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010) | ||||||||||||||||
Veranstaltungsort: | Timisoara, Romania | ||||||||||||||||
Veranstaltungsart: | internationale Konferenz | ||||||||||||||||
Veranstaltungsbeginn: | 23 September 2010 | ||||||||||||||||
Veranstaltungsende: | 26 September 2010 | ||||||||||||||||
Veranstalter : | Department of Computer Science, West University, Timisoara, Romania; Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria | ||||||||||||||||
HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||
HGF - Programm: | Verkehr | ||||||||||||||||
HGF - Programmthema: | Verkehrsmanagement (alt) | ||||||||||||||||
DLR - Schwerpunkt: | Verkehr | ||||||||||||||||
DLR - Forschungsgebiet: | V VM - Verkehrsmanagement | ||||||||||||||||
DLR - Teilgebiet (Projekt, Vorhaben): | V - Methodenentwicklung (alt) | ||||||||||||||||
Standort: | Berlin-Adlershof | ||||||||||||||||
Institute & Einrichtungen: | Institut für Verkehrssystemtechnik > Verkehrsmanagement | ||||||||||||||||
Hinterlegt von: | Ebendt, Dr.rer.nat. Rüdiger | ||||||||||||||||
Hinterlegt am: | 17 Sep 2012 10:52 | ||||||||||||||||
Letzte Änderung: | 24 Apr 2024 19:43 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags