Citation: B. Bollig, Restricted nondeterministic read-once branching programs and an exponential lower bound for integer multiplication, RAIRO-INF, 35(2), 2001, pp. 149-162
Citation: B. Bollig et I. Wegener, Asymptotically optimal bounds for OBDDs and the solution of some basic OBDD problems, J COMPUT SY, 61(3), 2000, pp. 558-579
Citation: B. Bollig et I. Wegener, Complexity theoretical results on partitioned (nondeterministic) binary decision diagrams, THEOR C SYS, 32(4), 1999, pp. 487-503