Correlation-based decimation in constraint satisfaction problems