Complejidad de Resolución

Medida cuantitativa de los recursos necesarios para producir refutaciones en el sistema de pruebas proposicional por resolución, típicamente cuantificada por parámetros como longitud de la prueba (número de cláusulas derivadas), anchura (tamaño máximo de cláusula) y espacio (memoria medida por cláusulas almacenadas simultáneamente).