Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay. Synthesis of Solutions for Shaded Area Geometry Problems. In Vasile Rus, Zdravko Markov, editors, Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017. pages 14-19, AAAI Press, 2017. [doi]
Abstract is missing.