On the Nonapproximability of Boolean Functions by OBDDs and Read-K-Times Branching Programs

Information and Computation - United States
doi 10.1006/inco.2002.3174