Definition:Decision Procedure for Satisfiability