A LINEAR EXPECTED-TIME ALGORITHM FOR DERIVING ALL LOGICAL CONCLUSIONS IMPLIED BY A SET OF BOOLEAN INEQUALITIES

被引：16

作者：

HANSEN, P

JAUMARD, B

MINOUX, M

机构：

[1] ECOLE NATL SUPER TELECOMMUN,PARIS,FRANCE

[2] UNIV PARIS 09,LAMSADE,F-75016 PARIS,FRANCE

来源：

MATHEMATICAL PROGRAMMING | 1986年 / 34卷 / 02期

关键词：

D O I：

10.1007/BF01580586

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：223 / 231

页数：9

共 19 条

[1] LINEAR-TIME ALGORITHM FOR TESTING THE TRUTH OF CERTAIN QUANTIFIED BOOLEAN FORMULAS [J].

ASPVALL, B ;

PLASS, MF ;

TARJAN, RE .

INFORMATION PROCESSING LETTERS, 1979, 8 (03) :121-123

[2]

Breu R, 1974, APPROACHES INTEGER P, P1

[3] ON THE ASYMPTOTIC COMPLEXITY OF MATRIX MULTIPLICATION [J].

COPPERSMITH, D ;

WINOGRAD, S .

SIAM JOURNAL ON COMPUTING, 1982, 11 (03) :472-492

[4] SOLVING LARGE-SCALE ZERO-ONE LINEAR-PROGRAMMING PROBLEMS [J].

CROWDER, H ;

JOHNSON, EL ;

PADBERG, M .

OPERATIONS RESEARCH, 1983, 31 (05) :803-834

[5]

FISHER MJ, 1971, 12TH P ANN S SWITCH, P129

[6] LOGICAL REDUCTION METHODS IN ZERO-ONE PROGRAMMING - MINIMAL PREFERRED VARIABLES [J].

GUIGNARD, M ;

SPIELBERG, K .

OPERATIONS RESEARCH, 1981, 29 (01) :49-74

[7]

Hammer P. L., 1979, Combinatorial optimization, P93

[8]

HAMMER PL, 1981, REV ROUM MATH PURE A, V26, P421

[9]

Hansen P., 1976, Information Processing Letters, V5, P50, DOI 10.1016/0020-0190(76)90079-X

[10] UNIQUELY SOLVABLE QUADRATIC BOOLEAN EQUATIONS [J].

HANSEN, P ;

JAUMARD, B .

DISCRETE APPLIED MATHEMATICS, 1985, 12 (02) :147-154

← 1 2 →