SATISFIABILITY IS QUASILINEAR COMPLETE IN NQL

被引：46

作者：

SCHNORR, CP ^{[1
]}

机构：

[1] UNIV FRANKFURT,D-6000 FRANKFURT,FED REP GER

来源：

关键词：

D O I：

10.1145/322047.322060

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：136 / 145

页数：10

共 10 条

[1]

[Anonymous], 1971, STOC 71, DOI DOI 10.1145/800157.805047

[2]

Cook S.A., 1972, 4 ANN ACM S THEOR CO, P187

[3]

FISCHER MJ, 1974, LECTURES NETWORK COM

[4] 2-TAPE SIMULATION OF MULTITAPE TURING MACHINES [J].

HENNIE, FC ;

STEARNS, RE .

[5]

Karp Richard M., 1972, COMPLEXITY COMPUTER, P85

[6]

Knuth D. E., 1973, ART COMPUTER PROGRAM

[7]

LEVIN LA, 1972, PROBLEMI PEREDACI IN, V9, P115

[8]

Schnorr C. P., 1976, Theoretical Computer Science, V2, P305, DOI 10.1016/0304-3975(76)90083-9

SCHNORR, CP .

[10]

SPECKER R, 1976, LECTURE NOTES COMPUT, V43