A DECOMPOSITION METHOD FOR MINIMIZING QUADRATIC PSEUDO-BOOLEAN FUNCTIONS

被引:11
作者
BILLIONNET, A
JAUMARD, B
机构
[1] GERAD,MONTREAL H3C 3A7,QUEBEC,CANADA
[2] ECOLE POLYTECH MONTREAL,MONTREAL H3C 3A7,QUEBEC,CANADA
关键词
D O I
10.1016/0167-6377(89)90043-6
中图分类号
C93 [管理学]; O22 [运筹学];
学科分类号
070105 ; 12 ; 1201 ; 1202 ; 120202 ;
摘要
引用
收藏
页码:161 / 163
页数:3
相关论文
共 7 条
[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]  
Berge C, 1970, GRAPHES HYPERGRAPHES
[3]  
Garey MR., 1979, COMPUTERS INTRACTABI
[4]   A LINEAR EXPECTED-TIME ALGORITHM FOR DERIVING ALL LOGICAL CONCLUSIONS IMPLIED BY A SET OF BOOLEAN INEQUALITIES [J].
HANSEN, P ;
JAUMARD, B ;
MINOUX, M .
MATHEMATICAL PROGRAMMING, 1986, 34 (02) :223-231
[5]  
HANSEN P, 1985, DISCRETE APPL MATH, V12, P145
[6]  
JAUMARD B, 1986, THESIS ECOLE NATIONA
[7]  
Tarjan R., 1972, SIAM Journal on Computing, V1, P146, DOI 10.1137/0201010