On difficulties of solving a problem of decomposition of the system of boolean equations

  • A. A. Safarian
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 278)


Polynomial Time Boolean Function Equation System Machine Time Unit Cube 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Zhuravlev Yu.I.,Kogan A.Yu. An algorithm for constructing a disjunctive normal form equivalent to the multiplication of left parts of Boolean equations of Nelson type. // J.Vichisl.Math.&Math.Phiziki. —1986 — v.26,No.8,p.1243–1250.(Russian)Google Scholar
  2. 2.
    Safarian A.A. On the solution of systems of Boolean equations arising at construction of Nelson type tests and systems. // J.Vichisl.Math.& Math.Phiziki, — 1984 — v.24,No.10,p.1590–1593 (Russian).Google Scholar
  3. 3.
    Safarian A.A. NP-completeness of decomposition problem of Boolean equation systems on minimal blocks. // Soobschenia po prikladnoy matematike. — Comp.Centre of USSR Academy of Sciences — (Russian).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • A. A. Safarian
    • 1
  1. 1.Yerevan State UniversityUSSR

Personalised recommendations