CNF encodings of symmetric functions
scientific article; zbMATH DE number 7941440