Closure Operators for ROBDDs.

Peter Schachte, Harald Sndergaard

Browse the full VMCAI paper archive.