Synthesizing geometry constructions.

Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari

Browse the full PLDI paper archive.