On the nonapproximability of Boolean functions by OBDDs and read-\(k\)-times branching programs

From MaRDI portal
Publication:1854567