PROBABILISTIC APPROACH TO THE SATISFIABILITY PROBLEM

被引：7

作者：

DUBOIS, O ^{[1
]}

CARLIER, J ^{[1
]}

机构：

[1] UNIV COMPIEGNE,F-60200 COMPIEGNE,FRANCE

来源：

关键词：

D O I：

10.1016/0304-3975(91)90316-T

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

[No abstract available]

引用

页码：65 / 75

页数：11

相关论文

共 6 条

[1]

[Anonymous], 1971, STOC 71, DOI DOI 10.1145/800157.805047

[2] COUNTING THE NUMBER OF SOLUTIONS FOR INSTANCES OF SATISFIABILITY [J].

DUBOIS, O .

[3]

Garey M.R., 1979, COMPUTERS INTRACTABI, V174

[4]

Simon J. C., 1989, International Journal of Pattern Recognition and Artificial Intelligence, V3, P53, DOI 10.1142/S0218001489000061

[5]

SIMON JC, 1986, CR ACAD SCI I-MATH, V302, P283

[6]

SIMON JC, 1987, ESPR WORKSHOP NOVOSI