A \#SAT algorithm for small constant-depth circuits with PTF gates
scientific article; zbMATH DE number 7495637
scientific article