Uniquely solvable quadratic boolean equations

Quadratic boolean equations with a unique solution are characterized. A linear-time algorithm is proposed to recognize them.

[1]  Robert M. Haralick,et al.  Increasing Tree Search Efficiency for Constraint Satisfaction Problems , 1979, Artif. Intell..

[2]  Claude Berge,et al.  Graphs and Hypergraphs , 2021, Clustering.

[3]  Sergiu Rudeanu,et al.  Linear equations and interpolation in Boolean algebra , 1984 .

[4]  Andreas Blass,et al.  On the Unique Satisfiability Problem , 1982, Inf. Control..

[5]  Rossella Petreschi,et al.  A Switching Algorithm for the Solution of Quadratic Boolean Equations , 1980, Inf. Process. Lett..

[6]  E. Balas,et al.  Canonical Cuts on the Unit Hypercube , 1972 .

[7]  B. A. Bernstein.  Note on the Condition that a Boolean Equation Have a Unique Solution , 1932 .

[8]  Leopold Löwenheim.  Über Transformationen im Gebietekalkül , 1913 .

[9]  Fanica Gavril,et al.  Testing for Equality Between Maximum Matching and Minimum Node Covering , 1977, Inf. Process. Lett..

[10]  A. Whitehead.  Memoir on the Algebra of Symbolic Logic , 1901 .

[11]  M. Padberg,et al.  Degree-two Inequalities, Clique Facets, and Biperfect Graphs , 1982 .

[12]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[13]  Pierre Hansen,et al.  A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities , 1986, Math. Program..

[14]  Andrei Z. Broder,et al.  The r-Stirling numbers , 1984, Discret. Math..

[15]  Monique Guignard-Spielberg,et al.  Logical Reduction Methods in Zero-One Programming - Minimal Preferred Variables , 1981, Oper. Res..

[16]  Robert E. Tarjan,et al.  A Linear-Time Algorithm for Testing the Truth of Certain Quantified Boolean Formulas , 1979, Inf. Process. Lett..

[17]  Alon Itai,et al.  On the Complexity of Timetable and Multicommodity Flow Problems , 1976, SIAM J. Comput..

[18]  Sergiu Rudeanu.  Boolean functions and equations , 1974 .

[19]  Sergiu Rudeanu.  Linear Boolean equations and generalized minterms , 1983, Discret. Math..

[20]  Pierre Hansen,et al.  Erratum: A Cascade Algorithm for the Logical Closure of a Set of Binary Relations , 1976, Information Processing Letters.