Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
https://aaai.org/ocs/index.php/FLAIRS/FLAIRS17/paper/view/15416 (Publisher version)
Alvin, C., Gulwani, S., Majumdar, R., & Mukhopadhyay, S. (2017). Synthesis of Solutions for Shaded Area Geometry Problems. In Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference (pp. 14-19). AAAI.