K-SAT

AcronymDefinition
K-SATKagoshima Satellite (Kagoshima University; Japan)
References in periodicals archive ?
A particularly interesting fact about random k-SAT problems is that all random k-SAT problems undergo a phase transition similar to the transition for 2-SAT.
The threshold for random k-SAT is [2.sup.k] log 2 O(k).
The techniques that we use are similar in flavor to the ones introduced in [8], though k-SAT is fundamentally different from k-colorability.
Uncertainty in K-sat assignment has important ramifications for assessment of the Hydrologic Group.
The first property we considered was permeability or K-sat (Table 1).