Backtrack Search Algorithms for Propositional Logic Satisfiability: Review and Innovations