CSAT, eller kredsløbets tilfredshedsproblem, er et beregningsmæssigt problem inden for datalogi, som afgør, om et boolsk kredsløb vil give en output af SAND givet et sæt indgange.
Computer Science, Elektroniske vilkår, Programmeringsbetingelser
CSAT, eller kredsløbets tilfredshedsproblem, er et beregningsmæssigt problem inden for datalogi, som afgør, om et boolsk kredsløb vil give en output af SAND givet et sæt indgange.
Computer Science, Elektroniske vilkår, Programmeringsbetingelser