Uniquely solvable quadratic boolean equations
- 31 October 1985
- journal article
- Published by Elsevier in Discrete Applied Mathematics
- Vol. 12 (2) , 147-154
- https://doi.org/10.1016/0166-218x(85)90068-x
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- A switching algorithm for the solution of quadratic boolean equationsInformation Processing Letters, 1980
- Increasing tree search efficiency for constraint satisfaction problemsArtificial Intelligence, 1980
- A linear-time algorithm for testing the truth of certain quantified boolean formulasInformation Processing Letters, 1979
- Testing for equality between maximum matching and minimum node coveringInformation Processing Letters, 1977
- A cascade algorithm for the logical closure of a set of binary relationsInformation Processing Letters, 1976
- Boolean Functions and Equations (Sergiu Rudeanu)SIAM Review, 1976
- GRAPHS AND HYPERGRAPHSBulletin of the London Mathematical Society, 1974
- Note on the Condition that a Boolean Equation Have a Unique SolutionAmerican Journal of Mathematics, 1932
- Memoir on the Algebra of Symbolic LogicAmerican Journal of Mathematics, 1901
- Memoir on the Algebra of Symbolic LogicAmerican Journal of Mathematics, 1901