preprint-BDD-based-Optimization-for-QSSP-DISOPT2020