Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari. Synthesizing geometry constructions. In Mary W. Hall, David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. pages 50-61, ACM, 2011. [doi]
Abstract is missing.