CNF SATISFIABILITY TEST BY COUNTING AND POLYNOMIAL AVERAGE TIME

被引：54

作者：

IWAMA, K

机构：

来源：

关键词：

D O I：

10.1137/0218026

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：385 / 391

页数：7

共 14 条

[1]

Aho A.V., 1983, DATA STRUCTURES ALGO

ANGLUIN, D ;

VALIANT, LG .

[3] AN AVERAGE TIME ANALYSIS OF BACKTRACKING [J].

BROWN, CA ;

PURDOM, PW .

[4]

Fillmore J. P., 1974, SIAM Journal on Computing, V3, P41, DOI 10.1137/0203004

[5] AVERAGE TIME ANALYSES OF SIMPLIFIED DAVIS-PUTNAM PROCEDURES [J].

GOLDBERG, A ;

PURDOM, P ;

BROWN, C .

[6]

IWAMA K, 1987, DISCRETE ALGORITHMS, P223

[7]

Karp Richard M., 1976, ALGORITHMS COMPLEXIT, P1

[8]

KOHAVI Z, 1970, SWITCHING FINITE AUT

[9] SEARCH REARRANGEMENT BACKTRACKING AND POLYNOMIAL AVERAGE TIME [J].

PURDOM, PW .

[10]

PURDOM PW, 1983, SIAM J COMPUT, V12, P717, DOI 10.1137/0212049