摘要
The relation between generalized resolution and NC-resolution is discussed. The proof of the completeness of NC linear resolution is then given. The incompleteness of NC lock resolution is also presented, thus the conclusion in [3] of' a simple completeness- preserving restriction' is shown to be wrong.
The relation between generalized resolution and NC-resolution is discussed. The proof of the completeness of NC linear resolution is then given. The incompleteness of NC lock resolution is also presented, thus the conclusion in [3] of' a simple completeness- preserving restriction' is shown to be wrong.
