Preprocessing of propagation redundant clauses
scientific article; zbMATH DE number 7628184
scientific article