Blockwise Variable Orderings for Shared BDDs. - Harry Preuß; Anand Srivastav (MFCS, 1998)