The complexity of inverting explicit Goldreich's function by DPLL algorithms
scientific article; zbMATH DE number 6152345
scientific article