Quite often swathes of the search space can be eliminated or winnowed by using modulo arguments. You can also sometimes fold these problems into smaller spaces

Quite often swathes of the search space can be eliminated or winnowed by using modulo arguments. You can also sometimes fold these problems into smaller spaces by considering equivalence arguments. There are many ad hoc techniques that no one has yet classified or unified, they are scattered across many mathematical disciplines.