Backtrack search with isomorph rejection and consistency check
scientific article; zbMATH DE number 4121458