Title	Quantum Genetic Algorithm for Binary Decision Diagram Ordering Problem
Author	Abdesslem Layeb, Djamel-Eddine Saidouni
Citation	Vol. 7  No. 9  pp. 130-135
Keywords	Combinatorial problem, Quantum computing, Quantum Genetic Algorithm, Binary Decision Diagram

Title	Two-level AND-XOR Network Synthesis with Area-Power Trade-off
Author	Sambhu Nath Pradhan, Santanu Chattopadhyay
Citation	Vol. 8  No. 9  pp. 365-374
Keywords	Fixed Polarity Reed Muller form, AND-XOR network, genetic algorithm, switching power, leakage power, Binary Decision Diagram.

Title	Implementation of Symbolic State Space Generator using Reduced Ordered Binary Decision Diagram based on SDES Description in PDETOOL Framework
Author	Reza Fathi, Mohammad Abdollahi Azgomi
Citation	Vol. 13  No. 7  pp. 79-86
Keywords	Symbolic state space generation; reduced ordered binary decision diagrams, state space explosion; SDES description; stochastic discrete event systems.