Algorithms for the Satisfiability (SAT) Problem