On the nonapproximability of Boolean functions by OBDDs and read-\(k\)-times branching programs
scientific article; zbMATH DE number 1853292