Resolution Complexity

A quantitative measure of the resources required to produce refutations in the propositional resolution proof system, typically quantified by parameters such as proof length (number of derived clauses), width (maximum clause size), and space (memory measured by simultaneously stored clauses).