Semantisches Browsen
Aus International Center for Computational Logic
Ordered binary decision diagrams (BDDs) yi … Ordered binary decision diagrams (BDDs) yield a data structure for switching functions that has been proven to be very useful in many areas of computer science. The major problem with BDD-based calculations is the variable ordering problem which addresses the question of finding an ordering of the input variables which minimizes the size of the BDD-representation. In this paper, we discuss the use of genetic algorithms to improve the variable ordering of a given BDD. First, we explain the main features of an implementation and report on experimental studies. In this context, we present a new crossover technique that turned out to be very useful in combination with sifting as hybridization technique. Second, we provide a definition of a distance graph which can serve as formal framework for efficient schemes for the fitness evaluation.icient schemes for the fitness evaluation. +
Christel Baier + und Wolfgang Lenders +
@inproceedings{LB2005,
author = {Wolfgang Lenders and Christel Baier},
title = {Genetic Algorithms for the Variable Ordering Problem of Binary
Decision Diagrams},
booktitle = {Proc. of the 8th International Workshop on Foundations of Genetic
Algorithms (FOGA)},
series = {Lecture Notes in Computer Science},
volume = {3469},
publisher = {Springer},
year = {2005},
pages = {1--20},
doi = {10.1007/11513575_1}
}
author = {Wolfgang Lenders and Christel Baier},
title = {Genetic Algorithms for the Variable Ordering Problem of Binary
Decision Diagrams},
booktitle = {Proc. of the 8th International Workshop on Foundations of Genetic
Algorithms (FOGA)},
series = {Lecture Notes in Computer Science},
volume = {3469},
publisher = {Springer},
year = {2005},
pages = {1--20},
doi = {10.1007/11513575_1}
}
Lenders +
Wolfgang +
Wolfgang Lenders, Christel Baier<br/> … Wolfgang Lenders, Christel Baier<br/> '''[[Inproceedings1976776866|<b>Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams</b>]]''' <br/>__NOTOC__<i>Proc. of the 8th International Workshop on Foundations of Genetic Algorithms (FOGA)</i>, volume 3469 of Lecture Notes in Computer Science, 1--20, 2005. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings1976776866|Details]]eedings1976776866|Details]] +
Wolfgang Lenders, Christel Baier<br/> … Wolfgang Lenders, Christel Baier<br/> '''[[Inproceedings1976776866/en|<b>Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams</b>]]''' <br/>__NOTOC__<i>Proc. of the 8th International Workshop on Foundations of Genetic Algorithms (FOGA)</i>, volume 3469 of Lecture Notes in Computer Science, 1--20, 2005. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings1976776866|Details]]eedings1976776866|Details]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
5. März 2025, 13:40:54 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams +, Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams +, Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams +, Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams +, Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams + und Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams +
