TY - CONF A1 - Brosenne, Henrik A1 - Homeister, Matthias A1 - Waack, Stephan A2 - Sgall, Jiří T1 - Graph-Driven Free Parity BDDs: Algorithms and Lower Bounds T2 - Mathematical foundations of computer science 2001 : 26th international symposium ; proceedings / MFCS 2001, Mariánské Lázně, Czech Republic, August 27 - 31, 2001 T3 - Lecture notes in computer science - 2136 Y1 - 2017 UR - https://opus4.kobv.de/opus4-fhbrb/frontdoor/index/index/docId/1836 SN - 978-3-540-44683-5 (Online) SP - 212 EP - 223 PB - Springer CY - Berlin [u.a.] ER -