Blockwise Variable Orderings for Shared BDDs.

Harry Preu, Anand Srivastav

Browse the full MFCS paper archive.