AC complement problems: Satisfiability and negation elimination
scientific article; zbMATH DE number 994046