Detlef Sieling The complexity of minimizing and learning OBDDs and FBDDs. 263-282 2002 122 Discrete Applied Mathematics 1-3 db/journals/dam/dam122.html#Sieling02