Saburo Higuchi: Decimation algorithm based on correlations for constraint satisfaction problems on random networks. WiOpt 2009: 1-5