Related to kSAT with a probability distribution over inputs.

This tag refers to properties of random instances of the computational problem kSAT. This is one of the most studied constraint satisfaction problems (CSPs) in terms of random properties.