Method of solving nonlinear equation systems with Boolean variables
A method of solving nonlinear equation systems with Boolean variables, which realizes the strategy of variant‐directed enumeration, is related. Necessary and sufficient conditions of feasible plans existence are formalized. A procedure for the formal analysis of subsets of the variants is described....
Main Author: | Olexander Lytvynenko |
---|---|
Format: | Article |
Language: | English |
Published: |
Vilnius Gediminas Technical University
2008-09-01
|
Series: | Aviation |
Subjects: | |
Online Access: | https://journals.vgtu.lt/index.php/Aviation/article/view/6745 |
Similar Items
-
Digital Circuit Design Utilizing Equation Solving over ‘Big’ Boolean Algebras
by: Ali Muhammad Ali Rushdi, et al.
Published: (2018-12-01) -
Transformation Method for Solving System of Boolean Algebraic Equations
by: Dostonjon Barotov, et al.
Published: (2021-12-01) -
On Resilient Boolean and Vectorial Boolean Functions with High Nonlinearity
by: Luyang Li, et al.
Published: (2022-12-01) -
Optimizing the Quantum Circuit for Solving Boolean Equations Based on Grover Search Algorithm
by: Hui Liu, et al.
Published: (2022-08-01) -
The nonlinearity and Hamming weights of rotation symmetric Boolean functions of small degree
by: Liping Yang, et al.
Published: (2020-06-01)