A new quantum evolutionary algorithm with sifting strategy for binary decision diagram ordering problem

International Journal of Cognitive Informatics and Natural Intelligence

Volumn 4, Issue 4, 2010, Pages 47-61

  Layeb, Abdesslem ^a   Saidoun, Djamel Eddine ^a  

^a Universite Mentouri Constantine   (Algeria)

Author keywords

Binary decision diagram; Quantum computing; Quantum evolutionary algorithm; Sifting algorithm; Variable ordering problem

Indexed keywords

DATA SETS; EVOLUTIONARY DYNAMICS; EXPLORATION PROCESS; NUMBER OF ITERATIONS; POPULATION SIZES; PROBLEM FORMULATION; QUANTUM COMPUTING; QUANTUM EVOLUTIONARY ALGORITHM; QUANTUM EVOLUTIONARY ALGORITHMS; QUANTUM OPERATORS; SEARCH STRATEGIES; SIFTING ALGORITHM; SIFTING STRATEGY; VARIABLE ORDERING PROBLEM;

BINARY DECISION DIAGRAMS; DECISION THEORY; MATHEMATICAL OPERATORS; POPULATION STATISTICS; QUANTUM COMPUTERS; QUANTUM THEORY;

EVOLUTIONARY ALGORITHMS;

EID: 79953114891     PISSN: 15573958     EISSN: 15573966     Source Type: Journal    
DOI: 10.4018/jcini.2010100104     Document Type: Article

References (32)

1. Akers, S. B. (1978). Binary decision diagrams. IEEE Transactions on Computers, 27(6), 509-516. doi:10.1109/TC.1978.1675141
2. Bollig, B., Löbbing, M., & Wegener, I. (1995). Simulated Annealing to Improve Variable Orderings for OBDDs. In Proceedings of the International Workshop on Logic Synthesis.
3. Bollig, B., & Wegener, I. (2002). Improving the variable ordering of OBDDs is NPcomplete. IEEE Transactions on Computers, 45(9), 993-1002. doi:10.1109/12.537122
4. Bryant, R. (1986). Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, 35(8), 677-691. doi:10.1109/TC.1986.1676819 (Pubitemid 16629996)
5. Clarke, E. M., Grumberg, O., & Long, D. E. (1994). Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 16(5), 1512-1542. doi:10.1145/186025.186051
6. Costa, U. S., Déharbe, 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.
7. Draa, A., Meshoul, S., Talbi, H., & Batouche, M. (2010). A Quantum-Inspired Differential Evolution Algorithm for Solving the N-Queens Problem. Int. Arab J. Inf. Technol., 7(1), 21-27.
8. Drechsler, R., & Becker, B. (1998). Binary Decision Diagrams: Theory and Implementation. Boston: Kluwer Academic Publisher.
9. Drechsler, R., Becker, B., & Göckel, N. (1996). A Genetic Algorithm for Variable Ordering of OBDDs. In Proceedings of the IEEE on Computers and Digital Techniques (pp. 363-368).
10. Drechsler, R., Drechsler, N., & Slobodova, A. (1998). Fast exact minimization of BDDs. In Proceedings of the 35th Design Automation Conference (pp. 200-205).
11. 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).
12. 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).
13. 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).
14. 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). (Pubitemid 23584321)
15. Hachtel, G. D., & Somenzi, F. (2006). Logic Synthesis and Verification Algorithms. New York: Springer Verlag.
16. Han, K. H., & Kim, J. H. (2004). Quantum-inspired Evolutionary Algorithms with a New Termination Criterion Hε Gate, and Two Phase Scheme. IEEE Transactions on Evolutionary Computation, 8(2), 156-169.doi:10.1109/TEVC. 2004.823467
17. 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).
18. 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). (Pubitemid 33099850)
19. 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).
20. Jaeger, G. (2006). Quantum Information: An Overview. Berlin: Springer.
21. 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).
22. Layeb, A., & Saidouni, D. E. (2007). Quantum Genetic Algorithm for Binary Decision Diagram Ordering Problem. In Proceedings of the International Journal of Computer Science and Network Security, 7(9), 130-135.
23. 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).
24. Lind-Nielsen, J. (1999). BuDDy - A Binary Decision Diagram Package (Tech. Rep. No. 1999-028). Denmark: Institute of Information Technology, Technical University.
25. 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).
26. 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.
27. Meinel, C., & Slobodova, A. (1997). Speeding up variable ordering of OBDDs. In Proceedings of the International Conference on Computer-Aided Design (pp. 338-343).
28. Nielsen, M. A., & Chuang, I. (2000). Quantum Computation and Quantum Information. Cambridge, UK: Cambridge University Press.
29. 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).
30. Rudell, R. (1993). Dynamic variable ordering for ordered binary decision diagrams. In Proceedings of the International Conference on Computer-Aided Design (pp. 42-47).
31. Whaley, J. (2007). JAVABDD: a Java Binary Decision Diagram Library, Stanford University. Retrieved October 29, 2007, from http://javabdd. sourceforge.net/
32. Williams, C. P., & Clearwater, S. H. (1998). Explorations in quantum computing. Berlin: Springer.