3SAT

(redirected from 3-satisfiability)
AcronymDefinition
3SAT3-Satisfiability (Boolean satisfiability problem expressed in 3CNF form)
3SATSoldier Survival System, Advanced Threat
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
References in periodicals archive ?
Orponen, "An efficient local search method for random 3-satisfiability," Electronic Notes in Discrete Mathematics, vol.
[6] study this problem as a geometric embedding problem and prove it is NP Complete by reduction from the 3-satisfiability problem (3SAT) (1).
[6], by using a reduction from 3-satisfiability. The technique used here is significantly different than Fowler et al.'s.
The problem CSP([[Lambda].sup.[disjunction]3]) corresponds to the 3-SATISFIABILITY problem, which is well-known to be NP-complete [Garey and Johnson 1979].