AVERAGE TIME ANALYSES OF SIMPLIFIED DAVIS-PUTNAM PROCEDURES

被引：53

作者：

GOLDBERG, A

PURDOM, P

BROWN, C

机构：

来源：

INFORMATION PROCESSING LETTERS | 1982年 / 15卷 / 02期

关键词：

D O I：

10.1016/0020-0190(82)90110-7

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：72 / 75

页数：4

相关论文

共 9 条

[1] BACKTRACK PROGRAMMING TECHNIQUES [J].

BITNER, JR ;

REINGOLD, EM .

COMMUNICATIONS OF THE ACM, 1975, 18 (11) :651-656

[2]

BROWN CA, 1981, 105 IND U COMP SCI T

[3]

BROWN CA, UNPUB SIAM J COMPUT

[4] A MACHINE PROGRAM FOR THEOREM-PROVING [J].

DAVIS, M ;

LOGEMANN, G ;

LOVELAND, D .

COMMUNICATIONS OF THE ACM, 1962, 5 (07) :394-397

[5]

FRANCO J, 1981, CES813 CAS I TECHN R

[6]

Knuth, 2010, COMBINATORIAL ALGORI, V4

[7]

McCann M, 1979, A BEWARE

[8]

PURDOM PW, 1980, 89 IND U COMP SCI DE

[9]

TSEITEN GA, 1968, ZAP NAUCN SEM LENING, P234