Meluzov Anton Sergeyevich

Publications in Math-Net.Ru

1. On construction of efficient algorithms for solving systems of polynomial Boolean equations by testing a part of variables
   
   Diskr. Mat., 23:4 (2011),  66–79
2. The use of associative information processing for constructing algorithms for solving systems of Boolean equations
   
   Zh. Vychisl. Mat. Mat. Fiz., 50:11 (2010),  2028–2044