Implementation of an Efficient Parallel BDD Package. - Tony Stornetta; Forrest Brewer (DAC, 1996)