Complexité de Résolution

Mesure quantitative des ressources nécessaires pour produire des réfutations dans le système de preuve propositionnel par résolution, généralement exprimée par des paramètres tels que la longueur de la preuve (nombre de clauses dérivées), la largeur (taille maximale d'une clause) et l'espace (mémoire mesurée par le nombre de clauses conservées simultanément).