%0 Conference Paper %1 conf/pldi/GulwaniKT11 %A Gulwani, Sumit %A Korthikanti, Vijay Anand %A Tiwari, Ashish %B PLDI %D 2011 %E Hall, Mary W. %E Padua, David A. %I ACM %K dblp %P 50-61 %T Synthesizing geometry constructions. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2011.html#GulwaniKT11 %@ 978-1-4503-0663-8

@inproceedings{conf/pldi/GulwaniKT11, added-at = {2021-06-24T00:00:00.000+0200}, author = {Gulwani, Sumit and Korthikanti, Vijay Anand and Tiwari, Ashish}, biburl = {https://www.bibsonomy.org/bibtex/2800e2232277921c3dc500d574afb009f/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2011}, editor = {Hall, Mary W. and Padua, David A.}, ee = {https://doi.org/10.1145/1993316.1993505}, interhash = {d91c29ae8a610422535d8fd09c99e44e}, intrahash = {800e2232277921c3dc500d574afb009f}, isbn = {978-1-4503-0663-8}, keywords = {dblp}, pages = {50-61}, publisher = {ACM}, timestamp = {2024-04-09T18:58:58.000+0200}, title = {Synthesizing geometry constructions.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2011.html#GulwaniKT11}, year = 2011 }