The Regularization of Small Sub-Constraint Satisfaction Problems