Synthesis of Solutions for Shaded Area Geometry Problems

Alvin, Chris and Gulwani, Sumit and Majumdar, Rupak and Mukhopadhyay, Supratik
(2017) Synthesis of Solutions for Shaded Area Geometry Problems.
In: Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017..
Conference: None | Not Set

Full text not available from this repository.
Official URL: https://aaai.org/ocs/index.php/FLAIRS/FLAIRS17/pap...

Actions

Actions (login required)

View Item View Item