We use cookies to improve your experience with our site.
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.

Generalized Resolution and NC-Resolution

  • 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.
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return