| Document Date: 2011-03-14 07:34:32
Open Document File Size: 494,30 KBShare Result on Facebook
City San Jose / / Company Numeric / Interactive Geometry Systems / SRI International / / Country United States / / Currency USD / / / Event Product Issues / Product Recall / / Facility Extended library / library Lib / Basic library / A library / using the library Lib / / IndustryTerm search process / naive search / exclusion algorithms / nearest correct solution / brute-force search depth / brute-force search / bitvector algorithms / goal-directed search / search technique / program synthesis applications / search strategy / chemical compounds / software developers / correct solutions / dynamic geometry systems / correct solution / exhaustive search / graph algorithms / search algorithm / symbolic geometry theorem proving tools / brute-force search strategy / exhaustive forward symbolic search / backward search / forward exhaustive search / chemical reactions / feasible solution / domain specific tools / geometry theorem proving systems / partial solution / truncated search / forward search / arbitrary solution / mutual-exclusion algorithms / Recent systems / combinatorial search / bit-vector algorithms / parallel processors / bruteforce search / search space / program synthesis technology / for transforming the search process / / Organization National Science Foundation / UCSD / / Person Abstraction / Sumit Gulwani Vijay Anand Korthikanti / Ashish Tiwari / Urbana Champaign / / Position General / teacher / Education General / Forward / / Product Concretization / / ProgrammingLanguage L / / ProvinceOrState California / / Technology search algorithm / mutual-exclusion algorithms / bit-vector algorithms / Bitvector algorithms / machine learning / program synthesis technology / pdf / Mutual exclusion algorithms / graph algorithms / artificial intelligence / / URL http /
SocialTag |
Synthesizing Geometry Constructions Sumit Gulwani Vijay Anand Korthikanti ∗ Ashish Tiwari †