Generalized Resolution and NC-Resolution

Liu Xuhua, Sun Jigui. Generalized Resolution and NC-Resolution[J]. Journal of Computer Science and Technology, 1994, 9(2): 160-167.

Citation:

Liu Xuhua, Sun Jigui. Generalized Resolution and NC-Resolution[J]. Journal of Computer Science and Technology, 1994, 9(2): 160-167.

Citation:

Liu Xuhua, Sun Jigui. Generalized Resolution and NC-Resolution[J]. Journal of Computer Science and Technology, 1994, 9(2): 160-167.

Abstract

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.

FullText(HTML)

Export File