elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Optimizing Variable Ordering of BDDs with Double Hybridized Embryonic Genetic Algorithm.

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:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Brudaru, Octavbrudaru (at) tuiasi.roNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Ebendt, Rüdigerruediger.ebendt (at) dlr.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Furdu, Iulianifurdu (at) ub.roNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
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

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.