Alguna estrategia de búsqueda puede ser usada para la búsqueda del conjunto de proposiciones a resolver.