Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay. Synthesis of Problems for Shaded Area Geometry Reasoning. In Elisabeth André, Ryan S. Baker, Xiangen Hu, Ma. Mercedes T. Rodrigo, Benedict du Boulay, editors, Artificial Intelligence in Education - 18th International Conference, AIED 2017, Wuhan, China, June 28 - July 1, 2017, Proceedings. Volume 10331 of Lecture Notes in Computer Science, pages 455-458, Springer, 2017. [doi]
Abstract is missing.