A random instance of a K-SAT problem is obtained by selecting variables
into each clause \(C_j\)  uniformly at random, independently for all \(j\) 
and applying the negation operation \(\lnot \)  with probability \(1/2\) 
independently for all variables. Random K-SAT problem is viewed
by statistical physicists as a problem exhibiting the so-called frustration property,
which is of great interest to physics of spin glasses,
and hence it has enjoyed a great deal of attention in the statistical physics
literature [1]},[2]}.
