R. Drechsler, B. Becker, Nicole Drechsler, A. Jahnke
{"title":"A genetic algorithm for decomposition type choice in OKFDDs","authors":"R. Drechsler, B. Becker, Nicole Drechsler, A. Jahnke","doi":"10.1109/INBS.1995.404257","DOIUrl":null,"url":null,"abstract":"A genetic algorithm (GA) is applied to find decomposition type lists (DTLs) that minimize the size of ordered Kronecker functional decision diagrams (OKFDDs). OKFDDs are a data structure for representation and manipulation of Boolean functions. The choice of the DTL largely influences the size of the OKFDD, i.e. its size may vary from polynomial to exponential. In Dreschsler, Becker, and Jahnke (1995) heuristic methods have been presented. In this paper the authors show by experiments that better results can be obtained by using GAs.<<ETX>>","PeriodicalId":423954,"journal":{"name":"Proceedings First International Symposium on Intelligence in Neural and Biological Systems. INBS'95","volume":"48 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1995-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings First International Symposium on Intelligence in Neural and Biological Systems. INBS'95","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/INBS.1995.404257","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
Abstract
A genetic algorithm (GA) is applied to find decomposition type lists (DTLs) that minimize the size of ordered Kronecker functional decision diagrams (OKFDDs). OKFDDs are a data structure for representation and manipulation of Boolean functions. The choice of the DTL largely influences the size of the OKFDD, i.e. its size may vary from polynomial to exponential. In Dreschsler, Becker, and Jahnke (1995) heuristic methods have been presented. In this paper the authors show by experiments that better results can be obtained by using GAs.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
