The normalized autocorrelation length of random max r-Sat converges in probability to (1 − 1/2r)/r Book uri icon

publication date

  • January 1, 2016