ON THE UNIQUE SATISFIABILITY PROBLEM

被引：103

作者：

BLASS, A ^{[1
]}

GUREVICH, Y ^{[1
]}

机构：

[1] UNIV MICHIGAN,DEPT COMP & COMMUN SCI,ANN ARBOR,MI 48109

来源：

INFORMATION AND CONTROL | 1982年 / 55卷 / 1-3期

关键词：

D O I：

10.1016/S0019-9958(82)90439-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：80 / 88

页数：9

相关论文

共 2 条

[1]

Baker T., 1975, SIAM Journal on Computing, V4, P431, DOI 10.1137/0204037

[2]

PAPADIMITRIOU CH, 1982, 14TH P ANN ACM S THE