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 条
  • [21] Generalized Probabilistic Satisfiability
    Caleiro C.
    Casal F.
    Mordido A.
    Electronic Notes in Theoretical Computer Science, 2017, 332 : 39 - 56
  • [22] A NEURAL NETWORK APPROACH TO THE 3-SATISFIABILITY PROBLEM
    JOHNSON, JL
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1989, 6 (02) : 435 - 449
  • [23] Genetic-fuzzy approach to the Boolean satisfiability problem
    Pedrycz, W
    Succi, G
    Shai, O
    IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2002, 6 (05) : 519 - 525
  • [24] Easy Cases of Probabilistic Satisfiability
    Kim Allan Andersen
    Daniele Pretolani
    Annals of Mathematics and Artificial Intelligence, 2001, 33 : 69 - 91
  • [25] Mixed-integer column generation algorithms and the probabilistic maximum satisfiability problem
    Hansen, P
    Jaumard, B
    de Aragao, MP
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 1998, 108 (03) : 671 - 683
  • [26] Probabilistic satisfiability with imprecise probabilities
    Hansen, P
    Jaumard, B
    de Aragao, MP
    Chauny, F
    Perron, S
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2000, 24 (2-3) : 171 - 189
  • [27] A Refuted Conjecture on Probabilistic Satisfiability
    Finger, Marcelo
    De Bona, Glauber
    ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2010, 2010, 6404 : 293 - 302
  • [28] Easy cases of probabilistic satisfiability
    Andersen, KA
    Pretolani, D
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2001, 33 (01) : 69 - 91
  • [29] On Probabilistic quantified satisfiability games
    Rychlik, M
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2003, PROCEEDINGS, 2003, 2747 : 652 - 661
  • [30] A Hybrid Method for Probabilistic Satisfiability
    Klinov, Pavel
    Parsia, Bijan
    AUTOMATED DEDUCTION - CADA-23, 2011, 6803 : 354 - 368
12345