4. Solving sat problem
Input Formula
Boolean Formula
satisfiable unsatisfiable
Satisfiability-
preserving Boolean
SAT Solver
5. Applications of sat
Hardware
verification at
higher levels of
abstraction
Verification of
analog/mixed-
signal circuits
Software model
checking
verifying electronic
voting machines