Benutzer:ArneVogel/Circuit Satisfiability Problem
aus Wikipedia, der freien Enzyklopädie
In der theoretischen Informatik ist das Schaltkreis Erfüllbarkeitsproblem (Circuit Satisfiability Problem, CircuitSAT,CSAT) das Entscheidungsproblem, ob eine gegebene boolesche Schaltung eine Zuordnung ihrer Eingänge hat, die den Ausgang wahr macht.[1]
CSAT ist NP-Vollständig.[2]
