23 Jul 2020 preprint-BDD-based-Optimization-for-QSSP-DISOPT2020 preprint-BDD-based-Optimization-for-QSSP-DISOPT2020