PROBABILISTIC ANALYSIS OF A GENERALIZATION OF THE UNIT-CLAUSE LITERAL SELECTION HEURISTICS FOR THE K-SATISFIABILITY PROBLEM

被引：1

|

作者：

CHAO, MT ^{[1
]}

FRANCO, J ^{[1
]}

机构：

[1] INDIANA UNIV,DEPT COMP SCI,BLOOMINGTON,IN 47405

来源：

INFORMATION SCIENCES | 1990年 / 51卷 / 03期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：289 / 314

页数：26

相关论文

共 1 条

[1] PROBABILISTIC ANALYSIS OF 2 HEURISTICS FOR THE 3-SATISFIABILITY PROBLEM
CHAO, MT
FRANCO, J
[J]. SIAM JOURNAL ON COMPUTING, 1986, 15 (04) : 1106 - 1118