Synthesizing geometry constructions.

Sumit Gulwani Vijay Anand Korthikanti Ashish Tiwari

Published in: PLDI (2011)

Keyphrases

three dimensional
geometric constraints
information systems
neural network
information retrieval
multimedia
relational databases