Vasilis Samoladas Improved BDD Algorithms for the Simulation of Quantum Circuits. 720-731 2008 ESA http://dx.doi.org/10.1007/978-3-540-87744-8_60 conf/esa/2008 db/conf/esa/esa2008.html#Samoladas08