1. “Finding efficient circuits using SAT-solvers”;Proc. 12th SAT, Lect. Notes Comput. Sci,2009
2. “Upper bounds on the depth of symmetric Boolean functions”;Moscow Univ. Comput. Math, and Cybern,2013
3. “Upper bounds for the formula size of symmetric Boolean functions”;Russian Mathematics,2014
4. “Some results on circuit depth”;Theory of computation. Report No. 18, Univ. of Warwick, Coventry,1977