Skip to main content
SpringerLink
Log in

Solving systems of linear equations with Boolean variables

  • Published:
Cybernetics and Systems Analysis Aims and scope

Abstract

The paper presents a method to solve systems of linear equations with Boolean variables, which implements an enumeration strategy. Necessary and sufficient conditions for the existence of feasible plans are formalized. A formal procedure to analyze subsets of alternatives is described. The structure of an algorithm that possesses the property of completeness is presented. Special cases of systems of equations are examined.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. V. S. Mikhalevich and V. L. Volkovich, Computational Methods of the Analysis and Design of Complex Systems [in Russian], Nauka, Moscow (1982).

    Google Scholar 

  2. C. H. Papadimitriu and K. Steiglitz, Combinatorial Optimization: Algorithms and Complexity, Prentice Hall (1987).

  3. V. E. Obukhov and V. V. Pavlov, Logical Equations and Applied Problems [in Russian], Naukova Dumka, Kyiv (1992).

    Google Scholar 

  4. V. S. Mikhalevich, “Sequential optimization algorithms and their application. Pt. I, II,” Cybernetics, No. 1, 45–56; No. 2, 85–89 (1965).

  5. O. Litvinenko, G. S. Kralina, and O. P. Styopushkin, “Mathematical model of syllabus scheduling problems,” Visnyk NAU, No. 1, 180–186 (2004).

  6. O. E. Litvinenko, “Mathematical method for failure detection in complex engineering systems,” Visnyk NAU, No. 4, 143–150 (2002).

  7. A. E. Litvinenko, S. A. Dmitriev, E. P. Stepushkina, and A. V. Popov, “Expert models of detecting multiple failures in aircraft engines,” Vestnik Dvigatelestroeniya, No. 1, 67–77 (2005).

Download references

Author information

Authors and Affiliations

  1. National Aviation University, Kyiv, Ukraine

    A. E. Litvinenko

Authors
  1. A. E. Litvinenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

__________

Translated from Kibernetika i Sistemnyi Analiz, No. 5, pp. 42–50, September–October 2006.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Litvinenko, A.E. Solving systems of linear equations with Boolean variables. Cybern Syst Anal 42, 649–655 (2006). https://doi.org/10.1007/s10559-006-0102-7

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10559-006-0102-7

Keywords

Search

Navigation