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 -