Neider, Daniel Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Neider, D., Saha, S., & Madhusudan, P. (2018). Compositional Synthesis of Piece-Wise Functions by Learning Classifiers. ACM Transactions on Computational Logic, 19(2): 10, pp. 1-23. doi:10.1145/3173545.