A Mining-Based Compression Approach for Constraint Satisfaction Problems