Decimation algorithm based on correlations for constraint satisfaction problems on random networks | IEEE Conference Publication | IEEE Xplore