![Mathematical logic / Algorithm / Theoretical computer science / Dynamic programming / Function / Escher / Mathematics / Applied mathematics / Functions and mappings Mathematical logic / Algorithm / Theoretical computer science / Dynamic programming / Function / Escher / Mathematics / Applied mathematics / Functions and mappings](https://www.pdfsearch.io/img/dd6d980d5c8842610f467d8dafeb5199.jpg)
| Document Date: 2013-04-09 20:33:37 Open Document File Size: 451,92 KBShare Result on Facebook
Company Escher / Oracle / Microsoft / / Currency pence / / Facility University of Toronto / / IndustryTerm forward search phase / generic and efficient algorithm / software engineering / explicit search strategy / inductive synthesis algorithm / generic synthesis algorithm / search technique / forward search / search procedure / data-structure / synthesis tool / search strategy / forward search part / candidate solution / synthesis algorithm / generic and efficient synthesis algorithm / rule applications / search space / search heuristics / / Organization University of Toronto / / Person Sumit Gulwani / Zachary Kincaid / / Position exi Forward / rule Forward / representative / Forward / using Forward / / Technology inductive synthesis algorithm / artificial intelligence / synthesis algorithm / machine learning / generic synthesis algorithm / /
SocialTag |