Modeling sequential circuits with shared structurally synthesized BDDs. - Raimund Ubar; Mihhail Marenkov; Dmitri Mironov; Vladimir Viies (IDT, 2014)