artificial intelligence search methods for problem solving