Symmetric explanation learning: effective dynamic symmetry handling for SAT
scientific article; zbMATH DE number 6807220