Tamaño del Árbol de Búsqueda

El número total de nodos generados en un árbol de búsqueda o de demostración durante un procedimiento automático de búsqueda de pruebas; cada nodo representa un subobjetivo, una asignación parcial, una fórmula intermedia o un estado de inferencia distinto.