Voevoda, A. and Romannikov, D. 2017. Synthesis of Neural Network for Solving Logical-Arithmetic Problems. SPIIRAS Proceedings. 5, 54 (Oct. 2017), 205-223. DOI:https://doi.org/10.15622/sp.54.9.