PROBABILISTIC ANALYSIS OF THE DAVIS PUTNAM PROCEDURE FOR SOLVING THE SATISFIABILITY PROBLEM

被引：104

作者：

FRANCO, J ^{[1
]}

PAULL, M ^{[1
]}

机构：

[1] RUTGERS STATE UNIV,NEW BRUNSWICK,NJ 08903

来源：

DISCRETE APPLIED MATHEMATICS | 1983年 / 5卷 / 01期

关键词：

D O I：

10.1016/0166-218X(83)90017-3

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：77 / 87

页数：11

相关论文

共 4 条

[1]

ANGLUIN D, 1977, 9TH P ANN ACM S THEO, P30

[2]

FRANCO J, 1981, THESIS RUTGERS U NEW

[3]

Karp Richard M., 1976, ALGORITHMS COMPLEXIT, P1

[4]

[No title captured]