Boolean polynomials, BDDs and CRHS equations -- connecting the dots with CryptaPath
scientific article; zbMATH DE number 7498222
scientific article