Definition of SAT

• boolean variables,

• clauses (constraints), e.g,

• The goal is to find the assignments of variable values that satisfy all constraints.

Prev

Next

Top

With Graphics