On an optimization technique using Binary Decision Diagram - Sensarma, Debajit; Banerjee, Subhashis; Basuli, Krishnendu; Naskar, Saptarshi; Sen-Sarma, Samar (CoRR, 2012)