Abdesslem Layeb, Djamel-Eddine Saïdouni: Quantum Differential Evolution Algorithm for Variable Ordering Problem of Binary Decision Diagram. CSICC 2008: 942-945