Multilevel Techniques for solving the Satisfiability Problem: Enhancing Tabu Search and Learning Automata