Problem SAT
Iz E-študij, proste zakladnice študentskega znanja
Problem rešljivosti logičnih izrazov sestavljenih iz spremenljivk in povezujejo samo logočni operatorji v (ali), Δ (in) , Γ(negacija), strokovno konjukcija, disjunkcija in negacija. Pri samem zapisu pa uporavimo oklepaje, da nakažemo vrstni res operacij.
- Je problem za katerega je dokazano da je NP-poln
