The complexity of minimizing and learning OBDDs and FBDDs
scientific article; zbMATH DE number 1792366
scientific article