@inproceedings{BrosenneHomeisterWaack2017, author = {Henrik Brosenne and Matthias Homeister and Stephan Waack}, title = {Graph-Driven Free Parity BDDs: Algorithms and Lower Bounds}, 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 = {Jiř{\´i} Sgall}, pages = {212 -- 223}, doi = {10.1007/3-540-44683-4_19}, year = {2017}, }