PROBABILISTIC APPROACH TO THE SATISFIABILITY PROBLEM

被引：7
作者：
DUBOIS, O [1 ]
CARLIER, J [1 ]
机构：
[1] UNIV COMPIEGNE,F-60200 COMPIEGNE,FRANCE
来源：
THEORETICAL COMPUTER SCIENCE | 1991年 / 81卷 / 01期
关键词：
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
    DUBOIS, O
    [J]. THEORETICAL COMPUTER SCIENCE, 1991, 81 (01) : 49 - 64
  • [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
1