A SATISFIABILITY TESTER FOR NON-CLAUSAL PROPOSITIONAL CALCULUS

被引：14

作者：

VANGELDER, A

机构：

来源：

关键词：

D O I：

10.1016/0890-5401(88)90014-4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：1 / 21

页数：21

共 9 条

[1]

Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st

[2]

COOK SA, 1971, 3RD P ANN ACM S THEO

[3] A COMPUTING PROCEDURE FOR QUANTIFICATION THEORY [J].

DAVIS, M ;

PUTNAM, H .

[4]

Enderton H. B., 2001, MATH INTRO LOGIC, V2nd ed

[5]

Galil Z., 1977, Theoretical Computer Science, V4, P23, DOI 10.1016/0304-3975(77)90054-8

[6]

GALIL Z, 1975, TR75239 CORN U DEP C

[7]

GOLDBERG AT, 1979, NSO16 NEW YORK U COU

[8]

Quine Willard Van Orman, 1950, METHODS LOGIC

[9]

Tseitin G., 1968, STUDIES CONSTRUCTI 2, P115