Algorithms for the Satisfiability Problem