UNIQUELY SOLVABLE QUADRATIC BOOLEAN EQUATIONS

被引：8

作者：

HANSEN, P ^{[1
]}

JAUMARD, B ^{[1
]}

机构：

[1] RUTGERS STATE UNIV, CTR OPERAT RES, NEW BRUNSWICK, NJ 08903 USA

来源：

DISCRETE APPLIED MATHEMATICS | 1985年 / 12卷 / 02期

关键词：

D O I：

10.1016/0166-218X(85)90068-X

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：147 / 154

页数：8

共 22 条

[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] CANONICAL CUTS ON UNIT HYPERCUBE [J].

BALAS, E ;

JEROSLOW, R .

SIAM JOURNAL ON APPLIED MATHEMATICS, 1972, 23 (01) :61-&

[3]

Berge C., 1973, GRAPHS HYPERGRAPHS, V7

[4] Note on the condition that a Booleani equation have a unique solution [J].

Bernstein, BA .

AMERICAN JOURNAL OF MATHEMATICS, 1932, 54 :417-418

[5] ON THE UNIQUE SATISFIABILITY PROBLEM [J].

BLASS, A ;

GUREVICH, Y .

INFORMATION AND CONTROL, 1982, 55 (1-3) :80-88

[6]

Even S., 1976, SIAM Journal on Computing, V5, P691, DOI 10.1137/0205048

[7] TESTING FOR EQUALITY BETWEEN MAXIMUM MATCHING AND MINIMUM NODE COVERING [J].

GAVRIL, F .

INFORMATION PROCESSING LETTERS, 1977, 6 (06) :199-202

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

GUIGNARD, M ;

SPIELBERG, K .

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

[9]

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

[10]

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

← 1 2 3 →