Artikel
Lizenziert
Nicht lizenziert
Erfordert eine Authentifizierung
On construction of efficient algorithms for solving systems of polynomial Boolean equations by testing a part of variables
-
A. S. Meluzov
Veröffentlicht/Copyright:
15. Juli 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
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Artikel in diesem Heft
- 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
Artikel in diesem Heft
- 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
