TY - JOUR A1 - Brosenne, Henrik A1 - Homeister, Matthias A1 - Waack, Stephan T1 - Characterizing the Complexity of Boolean Functions represented by Well-Structured Graph-Driven Parity-FBDDs JF - RAIRO - Theoretical Informatics and Applications (ITA) KW - Well-structured graph-driven parity-FBDDs KW - lower bounds KW - minimization algorithm KW - complexity theory KW - data structures for Boolean functions Y1 - 2002 U6 - https://doi.org/10.1051/ita:2002011 SN - 1290-385X (Online) SN - 0988-3754 (Print) VL - 36 IS - 3 SP - 229 EP - 247 ER - TY - CHAP A1 - Brosenne, Henrik A1 - Homeister, Matthias A1 - Waack, Stephan ED - 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 - 2001 SN - 978-3-540-44683-5 (Online) U6 - https://doi.org/10.1007/3-540-44683-4_19 SP - 212 EP - 223 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Brosenne, Henrik A1 - Damm, Carsten A1 - Homeister, Matthias A1 - Waack, Stephan T1 - On approximation by ⊕-OBDDs JF - Information Processing Letters KW - Computational complexity KW - Nondeterministic OBDD KW - Parity OBDD KW - Approximation Y1 - 2007 U6 - https://doi.org/10.1016/j.ipl.2006.10.011 SN - 1872-6119 (Online) SN - 0020-0190 (Print) VL - 102 IS - 1 SP - 17 EP - 21 ER - TY - JOUR A1 - Brosenne, Henrik A1 - Homeister, Matthias A1 - Waack, Stephan T1 - Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance JF - Information Processing Letters KW - Computational complexity KW - Theory of computation KW - Branching programs KW - Ordered binary decision diagrams with repeated tests KW - Existential, universal, parity, and majority acceptance mode Y1 - 2006 U6 - https://doi.org/10.1016/j.ipl.2005.11.011 SN - 1872-6119 (Online) SN - 0020-0190 (Print) VL - 98 IS - 1 SP - 6 EP - 10 ER - TY - CHAP A1 - Brosenne, Henrik A1 - Homeister, Matthias A1 - Waack, Stephan ED - Rovan, Branislav T1 - Lower Bounds for General Graph–Driven Read–Once Parity Branching Programs T2 - Mathematical foundations of computer science 2003 : 28th international symposium ; proceedings / MFCS 2003, Bratislava, Slovakia, August 25 - 29, 2003 T3 - Lecture notes in computer science - 2747 Y1 - 2003 SN - 978-3-540-40671-6 (Print) SN - 978-3-540-45138-9 (Online) U6 - https://doi.org/10.1007/978-3-540-45138-9_23 SP - 290 EP - 299 PB - Springer CY - Berlin ; Heidelberg ER -