PROBABILISTIC PERFORMANCE OF A HEURISTIC FOR THE SATISFIABILITY PROBLEM

被引：9

|

作者：

FRANCO, J

HO, YC

机构：

来源：

DISCRETE APPLIED MATHEMATICS | 1988年 / 22卷 / 01期

关键词：

D O I：

10.1016/0166-218X(88)90121-7

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：35 / 51

页数：17

相关论文

共 50 条

[1] ON THE PROBABILISTIC PERFORMANCE OF ALGORITHMS FOR THE SATISFIABILITY PROBLEM
FRANCO, J
[J]. INFORMATION PROCESSING LETTERS, 1986, 23 (02) : 103 - 106
[2] PROBABILISTIC APPROACH TO THE SATISFIABILITY PROBLEM
DUBOIS, O
CARLIER, J
[J]. THEORETICAL COMPUTER SCIENCE, 1991, 81 (01) : 65 - 75
[3] The satisfiability problem for probabilistic CTL
Brazdil, Tomas
Forejt, Vojtech
Kretinsky, Jan
Kucera, Antonin
[J]. TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2008, : 391 - 402
[4] On the Probabilistic approach to the random satisfiability problem
Parisi, G
[J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, 2004, 2919 : 203 - 213
[5] An effective heuristic algorithm for the maximum satisfiability problem
Mohamed El Bachir Menaï
Mohamed Batouche
[J]. Applied Intelligence, 2006, 24 : 227 - 239
[6] An effective heuristic algorithm for the maximum satisfiability problem
Menaï, ME
Batouche, M
[J]. APPLIED INTELLIGENCE, 2006, 24 (03) : 227 - 239
[7] The satisfiability problem for probabilistic ordered branching programs
Agrawal, M
Thierauf, T
[J]. THEORY OF COMPUTING SYSTEMS, 2001, 34 (05) : 471 - 487
[8] The Satisfiability Problem for Probabilistic Ordered Branching Programs
M. Agrawal
T. Thierauf
[J]. Theory of Computing Systems, 2001, 34 : 471 - 487
[9] PROBABILISTIC ESTIMATES FOR THE GENERALIZED MAXIMUM SATISFIABILITY PROBLEM
COCHAND, M
[J]. DISCRETE APPLIED MATHEMATICS, 1994, 49 (1-3) : 143 - 163
[10] The satisfiability problem for probabilistic ordered branching programs
Agrawal, M
Thierauf, T
[J]. THIRTEENTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY - PROCEEDINGS, 1998, : 81 - 90

← 1 2 3 4 5 →