A. Mitra, S. Chattopadhyay. Variable ordering for shared binary decision diagrams targeting node count and path length optimisation using particle swarm technique. IET Computers & Digital Techniques, 6(6):353-361, 2012. [doi]
Abstract is missing.