1. Diversity enforced Genetic Algorithm (GA) for Binary Decision Diagram (BDD) reordering;Applied Soft Computing;2024-04
2. Optimizing Decision Diagrams for Measurements of Quantum Circuits;2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC);2024-01-22
3. A Genetic Algorithm (GA) and Swarm Based Binary Decision Diagram (BDD) Reordering Optimizer Reinforced with Recent Operators;IEEE Transactions on Evolutionary Computation;2022
4. Polynomial Circuit Verification using BDDs;2021 5th International Conference on Electrical, Electronics, Communication, Computer Technologies and Optimization Techniques (ICEECCOT);2021-12-10
5. Decision Diagrams for Quantum Measurements with Shallow Circuits;2021 IEEE International Conference on Quantum Computing and Engineering (QCE);2021-10