Jayasurya Seenuvasan, Shalini Sai Prasad, N. S. Kumar. Program Synthesis: Synthesizing Operators for Integer Manipulation. In Aravindan Chandrabose, Ulrich Furbach, Ashish Ghosh, Anand Kumar M., editors, Computational Intelligence in Data Science - Third IFIP TC 12 International Conference, ICCIDS 2020, Chennai, India, February 20-22, 2020, Revised Selected Papers. Volume 578 of IFIP Advances in Information and Communication Technology, pages 312-319, Springer, 2020. [doi]
Abstract is missing.