A Mining-Based Compression Approach for Constraint Satisfaction Problems | Read Paper on Bytez