메뉴 건너뛰기




Volumn 117, Issue 1, 1995, Pages 12-18

Resolution for quantified boolean formulas

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0002037968     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1006/inco.1995.1025     Document Type: Article
Times cited : (323)

References (6)
  • 1
    • 0001548856 scopus 로고
    • A linear-time algorithm for testing the truth of certain quantified Boolean formulas
    • Aspvall, B., Plass, M. F., and Tarjan, R. E. (1979), A linear-time algorithm for testing the truth of certain quantified Boolean formulas, Inform. Process. Lett. 8, 121-123.
    • (1979) Inform. Process. Lett. , vol.8 , pp. 121-123
    • Aspvall, B.1    Plass, M.F.2    Tarjan, R.E.3
  • 2
    • 0021509216 scopus 로고
    • Linear-time algorithms for testing the satisfiability of propositional Horn formulae
    • Dowling, W. F., and Gallier, J. H. (1984), Linear-time algorithms for testing the satisfiability of propositional Horn formulae, J. Logic Programming 3, 267-284.
    • (1984) J. Logic Programming , vol.3 , pp. 267-284
    • Dowling, W.F.1    Gallier, J.H.2
  • 3
    • 0003603813 scopus 로고
    • Computers and Intractability, A Guide to the Theory of NP-Completeness
    • Freeman, San Francisco
    • Garey, M. R., and Johnson, D. S. (1979), "Computers and Intractability, A Guide to the Theory of NP-Completeness," Freeman, San Francisco.
    • (1979) Eur J Microbiol Immunol(Bp)
    • Garey, M.R.1    Johnson, D.S.2
  • 4
    • 0000076101 scopus 로고
    • The intractability of resolution
    • Haken, A. (1985), The intractability of resolution, Theoret. Comput. Sci. 39, 297-308.
    • (1985) Theoret. Comput. Sci. , vol.39 , pp. 297-308
    • Haken, A.1
  • 5
    • 49049101523 scopus 로고
    • On the computational complexity of quantified Horn clauses, in "Proceedings, CSL '87,"
    • Springer-Verlag, Berlin/New York
    • Karpinski, M., Kleine Buning, H., and Schmitt, P. H. (1987), On the computational complexity of quantified Horn clauses, in "Proceedings, CSL '87," Lecture Notes in Computer Science, Vol. 329, pp. 129-137, Springer-Verlag, Berlin/New York.
    • (1987) Lecture Notes in Computer Science , vol.329 , pp. 129-137
    • Karpinski, M.1    Kleine Buning, H.2    Schmitt, P.H.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.