Graph-Driven Free Parity BDDs: Algorithms and Lower Bounds.

Henrik Brosenne, Matthias Homeister, Stephan Waack

Browse the full MFCS paper archive.