{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:50:35Z","timestamp":1759146635534},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Artif. Intell. Tools"],"published-print":{"date-parts":[[1995,12]]},"abstract":"<jats:p> 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 [13] heuristic methods have been presented. In this paper we show by experiments that better results can be obtained by using GAs. <\/jats:p>","DOI":"10.1142\/s0218213095000279","type":"journal-article","created":{"date-parts":[[2004,11,10]],"date-time":"2004-11-10T06:14:37Z","timestamp":1100067277000},"page":"525-536","source":"Crossref","is-referenced-by-count":1,"title":["A GENETIC ALGORITHM FOR DECOMPOSITION TYPE CHOICE IN OKFDDS"],"prefix":"10.1142","volume":"04","author":[{"given":"ROLF","family":"DRECHSLER","sequence":"first","affiliation":[{"name":"Institute of Computer Science, Albert-Ludwigs-University, 79110 Freiburg im Breisgau, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"BERND","family":"BECKER","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Albert-Ludwigs-University, 79110 Freiburg im Breisgau, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"NICOLE","family":"G\u00d6CKEL","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Albert-Ludwigs-University, 79110 Freiburg im Breisgau, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ANDREA","family":"JAHNKE","sequence":"additional","affiliation":[{"name":"Computer Science Department, Johann Wolfgang Goethe-University, 60054 Frankfurt am Main, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"container-title":["International Journal on Artificial Intelligence Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218213095000279","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T13:31:21Z","timestamp":1565184681000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218213095000279"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,12]]},"references-count":0,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[1995,12]]}},"alternative-id":["10.1142\/S0218213095000279"],"URL":"https:\/\/doi.org\/10.1142\/s0218213095000279","relation":{},"ISSN":["0218-2130","1793-6349"],"issn-type":[{"value":"0218-2130","type":"print"},{"value":"1793-6349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,12]]}}}