{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T16:06:32Z","timestamp":1781107592164,"version":"3.54.1"},"reference-count":32,"publisher":"IGI Global Scientific Publishing","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,10,1]]},"abstract":"<p>In this work, the authors focus on the quantum evolutionary quantum hybridization and its contribution in solving the binary decision diagram ordering problem. Therefore, a problem formulation in terms of quantum representation and evolutionary dynamic borrowing quantum operators are defined. The sifting search strategy is used in order to increase the efficiency of the exploration process, while experiments on a wide range of data sets show the effectiveness of the proposed framework and its ability to achieve good quality solutions. The proposed approach is distinguished by a reduced population size and a reasonable number of iterations to find the best order, thanks to the principles of quantum computing and to the sifting strategy.<\/p>","DOI":"10.4018\/jcini.2010100104","type":"journal-article","created":{"date-parts":[[2011,2,15]],"date-time":"2011-02-15T16:02:34Z","timestamp":1297785754000},"page":"47-61","source":"Crossref","is-referenced-by-count":3,"title":["A New Quantum Evolutionary Algorithm with Sifting Strategy for Binary Decision Diagram Ordering Problem"],"prefix":"10.4018","volume":"4","author":[{"given":"Abdesslem","family":"Layeb","sequence":"first","affiliation":[{"name":"University Mentouri of Constantine, Algeria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Djamel-Eddine","family":"Saidouni","sequence":"additional","affiliation":[{"name":"University Mentouri of Constantine, Algeria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"jcini.2010100104-0","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"jcini.2010100104-1","unstructured":"Bollig, B., L\u00f6bbing, M., & Wegener, I. (1995). Simulated Annealing to Improve Variable Orderings for OBDDs. In Proceedings of the International Workshop on Logic Synthesis."},{"key":"jcini.2010100104-2","doi-asserted-by":"publisher","DOI":"10.1109\/12.537122"},{"key":"jcini.2010100104-3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"jcini.2010100104-4","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"jcini.2010100104-5","unstructured":"Costa, U. S., D\u00e9harbe, D., & Moreira, A. M. (2000). Variable ordering of BDDs with parallel genetic algorithms. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications."},{"issue":"1","key":"jcini.2010100104-6","first-page":"21","article-title":"A Quantum-Inspired Differential Evolution Algorithm for Solving the N-Queens Problem.","volume":"7","author":"A.Draa","year":"2010","journal-title":"Int. Arab J. Inf. Technol."},{"key":"jcini.2010100104-7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2892-7","author":"R.Drechsler","year":"1998","journal-title":"Binary Decision Diagrams: Theory and Implementation"},{"key":"jcini.2010100104-8","doi-asserted-by":"crossref","unstructured":"Drechsler, R., Becker, B., & G\u00f6ckel, N. (1996). A Genetic Algorithm for Variable Ordering of OBDDs. In Proceedings of the IEEE on Computers and Digital Techniques (pp. 363-368).","DOI":"10.1049\/ip-cdt:19960789"},{"key":"jcini.2010100104-9","doi-asserted-by":"crossref","unstructured":"Drechsler, R., Drechsler, N., & Slobodova, A. (1998). Fast exact minimization of BDDs. In Proceedings of the 35th Design Automation Conference (pp. 200-205).","DOI":"10.1145\/277044.277099"},{"key":"jcini.2010100104-10","doi-asserted-by":"crossref","unstructured":"Friedman, S. J., & Supowit, K. J. (1987). Finding the Optimal Variable Ordering for Binary Decision Diagrams Design. In Proceedings of the Automation Conference (pp. 348-356).","DOI":"10.1145\/37888.37941"},{"key":"jcini.2010100104-11","doi-asserted-by":"crossref","unstructured":"Fujii, H., Ootomo, G., & Hori, C. (1993). Interleaving based variable ordering methods for ordered binary decision diagrams. In Proceedings of the International Conference on Computer-Aided Design (pp. 38-41).","DOI":"10.1109\/ICCAD.1993.580028"},{"key":"jcini.2010100104-12","doi-asserted-by":"crossref","unstructured":"Fujita, M., Fujisawa, H., & Kawato, N. (1988). Evaluation and improvements of Boolean comparison method based on binary decision diagrams. In Proceedings of the International Conference on Computer-Aided Design (pp. 2-5).","DOI":"10.1109\/ICCAD.1988.122450"},{"key":"jcini.2010100104-13","doi-asserted-by":"crossref","unstructured":"Fujita, M., Matsunaga, Y., & Kakuda, T. (1991). On Variable Orderings of Binary Decision Diagrams for the Application of Multi-Level Logic Synthesis. In Proceedings of the European Conference on Design Automation (pp. 50-54).","DOI":"10.1109\/EDAC.1991.206358"},{"key":"jcini.2010100104-14","author":"G. D.Hachtel","year":"2006","journal-title":"Logic Synthesis and Verification Algorithms"},{"key":"jcini.2010100104-15","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2004.823467"},{"key":"jcini.2010100104-16","doi-asserted-by":"crossref","unstructured":"Hu, A. J., Dill, D. L., Drexler, A. G., & Yang, C. H. (1992). Higher-Level Specification and Verification With BDDs. In Proceedings of the Workshop on Computer-Aided Verification (pp.82-95).","DOI":"10.1007\/3-540-56496-9_8"},{"key":"jcini.2010100104-17","unstructured":"Hung, W. N., & Song, X. (2001). BDD Variable Ordering By Scatter Search. In Proceedings of the International Conference on Computer Design: VLSI in Computers & Processors (pp. 368-373)."},{"key":"jcini.2010100104-18","doi-asserted-by":"crossref","unstructured":"Ishiura, N., Sawada, H., & Yajima, S. (1991). Minimization of binary decision diagrams based on exchange of variables. In Proceedings of the International Conference on Computer-Aided Design (pp. 472-475).","DOI":"10.1109\/ICCAD.1991.185307"},{"key":"jcini.2010100104-19","author":"G.Jaeger","year":"2006","journal-title":"Quantum Information: An Overview"},{"key":"jcini.2010100104-20","doi-asserted-by":"crossref","unstructured":"Layeb, A., Meshoul, S., & Batouche, M. (2006). Multiple Sequence Alignment by Quantum Genetic Algorithm. In Proceedings of the 7th International Workshop on Parallel and Distributed Scientific and Engineering Computing of the 20th IPDPS (pp. 1-8).","DOI":"10.1109\/IPDPS.2006.1639617"},{"issue":"9","key":"jcini.2010100104-21","first-page":"130","article-title":"Quantum Genetic Algorithm for Binary Decision Diagram Ordering Problem. In","volume":"7","author":"A.Layeb","year":"2007","journal-title":"Proceedings of the International Journal of Computer Science and Network Security"},{"key":"jcini.2010100104-22","doi-asserted-by":"crossref","unstructured":"Layeb, A., & Saidouni, D. E. (2008). A New Quantum Evolutionary Local Search Algorithm for Max 3-SAT Problem. In Proceedings of the 3rd International Workshop on Hybrid Artificial Intelligence Systems (Vol. 5271, pp. 172-179).","DOI":"10.1007\/978-3-540-87656-4_22"},{"key":"jcini.2010100104-23","unstructured":"Lind-Nielsen, J. (1999). BuDDy - A Binary Decision Diagram Package (Tech. Rep. No. 1999-028). Denmark: Institute of Information Technology, Technical University."},{"key":"jcini.2010100104-24","doi-asserted-by":"crossref","unstructured":"Malik, S., Wang, A. R., Brayton, R. K., & Sangiovanni-Vincentelli, A. (1988). Logic Verification using Binary Decision Diagrams in a Logic Synthesis Environment. In Proceedings of the International Conference on Computer-Aided Design (pp. 6-9).","DOI":"10.1109\/ICCAD.1988.122451"},{"key":"jcini.2010100104-25","unstructured":"McMillan, K. L. (1992). Symbolic Model Checking: An Approach to the State Explosion Problem. Unpublished doctoral dissertation, Carnegie-Mellon university, School of Computer Science, Pittsburgh, PA."},{"key":"jcini.2010100104-26","unstructured":"Meinel, C., & Slobodova, A. (1997). Speeding up variable ordering of OBDDs. In Proceedings of the International Conference on Computer-Aided Design (pp. 338-343)."},{"key":"jcini.2010100104-27","author":"M. A.Nielsen","year":"2000","journal-title":"Quantum Computation and Quantum Information"},{"key":"jcini.2010100104-28","unstructured":"Panda, S., & Somenzi, F. (1995). Who are the variables in your neighborhood. In Proceedings of the International Conference on Computer-Aided Design (pp. 74-77)."},{"key":"jcini.2010100104-29","doi-asserted-by":"crossref","unstructured":"Rudell, R. (1993). Dynamic variable ordering for ordered binary decision diagrams. In Proceedings of the International Conference on Computer-Aided Design (pp. 42-47).","DOI":"10.1109\/ICCAD.1993.580029"},{"key":"jcini.2010100104-30","unstructured":"Whaley, J. (2007). JAVABDD: a Java Binary Decision Diagram Library, Stanford University. Retrieved October 29, 2007, from http:\/\/javabdd.sourceforge.net\/"},{"key":"jcini.2010100104-31","author":"C. P.Williams","year":"1998","journal-title":"Explorations in quantum computing"}],"container-title":["International Journal of Cognitive Informatics and Natural Intelligence"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=49692","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T10:25:58Z","timestamp":1654079158000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jcini.2010100104"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2010,10,1]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,10]]}},"URL":"https:\/\/doi.org\/10.4018\/jcini.2010100104","relation":{},"ISSN":["1557-3958","1557-3966"],"issn-type":[{"value":"1557-3958","type":"print"},{"value":"1557-3966","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,10,1]]}}}