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
相关论文
共 50 条
  • [1] On the Probabilistic approach to the random satisfiability problem
    Parisi, G
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, 2004, 2919 : 203 - 213
  • [2] The satisfiability problem for probabilistic CTL
    Brazdil, Tomas
    Forejt, Vojtech
    Kretinsky, Jan
    Kucera, Antonin
    TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2008, : 391 - 402
  • [3] PROBABILISTIC PERFORMANCE OF A HEURISTIC FOR THE SATISFIABILITY PROBLEM
    FRANCO, J
    HO, YC
    DISCRETE APPLIED MATHEMATICS, 1988, 22 (01) : 35 - 51
  • [4] ON THE PROBABILISTIC PERFORMANCE OF ALGORITHMS FOR THE SATISFIABILITY PROBLEM
    FRANCO, J
    INFORMATION PROCESSING LETTERS, 1986, 23 (02) : 103 - 106
  • [5] Probabilistic sentence satisfiability: An approach to PSAT
    Henderson, T. C.
    Simmons, R.
    Serbinowski, B.
    Cline, M.
    Sacharny, D.
    Fan, X.
    Mitiche, A.
    ARTIFICIAL INTELLIGENCE, 2020, 278 (278)
  • [6] The satisfiability problem for probabilistic ordered branching programs
    Agrawal, M
    Thierauf, T
    THEORY OF COMPUTING SYSTEMS, 2001, 34 (05) : 471 - 487
  • [7] The Satisfiability Problem for Probabilistic Ordered Branching Programs
    M. Agrawal
    T. Thierauf
    Theory of Computing Systems, 2001, 34 : 471 - 487
  • [8] PROBABILISTIC ESTIMATES FOR THE GENERALIZED MAXIMUM SATISFIABILITY PROBLEM
    COCHAND, M
    DISCRETE APPLIED MATHEMATICS, 1994, 49 (1-3) : 143 - 163
  • [9] The satisfiability problem for probabilistic ordered branching programs
    Agrawal, M
    Thierauf, T
    THIRTEENTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY - PROCEEDINGS, 1998, : 81 - 90
  • [10] Bee colony optimization for the satisfiability problem in probabilistic logic
    Stojanovic, Tatjana
    Davidovic, Tatjana
    Ognjanovic, Zoran
    APPLIED SOFT COMPUTING, 2015, 31 : 339 - 347
12345