@inproceedings{BrosenneHomeisterWaack2001, author = {Brosenne, Henrik and Homeister, Matthias and Waack, Stephan}, title = {Graph-Driven Free Parity BDDs: Algorithms and Lower Bounds}, series = {Mathematical foundations of computer science 2001 : 26th international symposium ; proceedings / MFCS 2001, Mari{\´a}nsk{\´e} L{\´a}zně, Czech Republic, August 27 - 31, 2001}, booktitle = {Mathematical foundations of computer science 2001 : 26th international symposium ; proceedings / MFCS 2001, Mari{\´a}nsk{\´e} L{\´a}zně, Czech Republic, August 27 - 31, 2001}, editor = {Sgall, Jiř{\´i}}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-540-44683-5 (Online)}, doi = {10.1007/3-540-44683-4_19}, pages = {212 -- 223}, year = {2001}, language = {en} }