ON THE UNIQUE SATISFIABILITY PROBLEM

被引:100
作者
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