Hash-based preprocessing and inprocessing techniques in SAT solvers
scientific article; zbMATH DE number 7495567