Program Synthesis: Synthesizing Operators for Integer Manipulation. - Jayasurya Seenuvasan; Shalini Sai Prasad; N. S. Kumar (ICCIDS, 2020)