A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
We consider a strictly regular random (k, s)-SAT problem and propose a GSRR model for generating its instances. By applying the first moment method and the asymptotic approximation of the γth coefficient for generating function f (z) λ , where λ and γ are growing at a fixed rate, we obtain a new upper bound 2 k log 2 − (k + 1) log 2/2 + ϵ k for this problem, which is below the best current known upper bound 2 k log 2 + ϵ k . Furthermore, it is also below the asymptotic bound of the uniformdoi:10.24507/ijicic.12.02.477 fatcat:cjpi7ckokbdarkgqrwp7gq7rum