Finding the shortest transfer sequence of sequential circuit based on simplified ROBDDs. - Valentina Andreeva; Semyon Chernyshov (EWDTS, 2017)