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