Article
Licensed
Unlicensed
Requires Authentication
On construction of efficient algorithms for solving systems of polynomial Boolean equations by testing a part of variables
-
A. S. Meluzov
Published/Copyright:
July 15, 2011
Abstract
In this paper we suggest a combined method for solving systems of Boolean polynomial equations based on testing a part of variables and using monomial compatibility criteria for dropping out some values of the tested variables. The complexity of the method is estimated for various parameters of the system.
Received: 2011-03-03
Published Online: 2011-07-15
Published in Print: 2011-July
© de Gruyter 2011
You are currently not able to access this content.
You are currently not able to access this content.
Articles in the same Issue
- Prohibitions in discrete probabilistic statistical problems
- An asynchronous double stochastic flow with initiation of superfluous events
- Asymptotic expansions for the distribution of the number of components in random mappings and partitions
- Symmetric linear spaces of graphs
- On automorphisms of commutative Moufang loops
- On the mixing properties of operations in a finite field
- The predicate method to construct the Post lattice
- Average complexity of searching for identical objects in random nonuniform databases
- On construction of efficient algorithms for solving systems of polynomial Boolean equations by testing a part of variables
Articles in the same Issue
- Prohibitions in discrete probabilistic statistical problems
- An asynchronous double stochastic flow with initiation of superfluous events
- Asymptotic expansions for the distribution of the number of components in random mappings and partitions
- Symmetric linear spaces of graphs
- On automorphisms of commutative Moufang loops
- On the mixing properties of operations in a finite field
- The predicate method to construct the Post lattice
- Average complexity of searching for identical objects in random nonuniform databases
- On construction of efficient algorithms for solving systems of polynomial Boolean equations by testing a part of variables
