Approximating Boolean functions by OBDDs
scientific article; zbMATH DE number 5128023
scientific article