Back to Results
First PageMeta Content
Predicate logic / Theoretical computer science / Formal methods / NP-complete problems / First-order logic / Satisfiability Modulo Theories / Expression / Type system / Function / Mathematics / Logic / Mathematical logic


Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi
Add to Reading List

Document Date: 2015-01-10 00:32:21

Open Document

File Size: 2,61 MB

Share Result on Facebook

City

Constraint / /

Company

Microsoft / /

Facility

Cornell University / terminal S. Then / Grammar Productions The SMT-LIB interchange / University of Illinois / University of Washington Abstract / Massachusetts Institute of Technology / University of Michigan / University of California / /

IndustryTerm

search strategies / inductive synthesis algorithm / enumerative algorithm / possible solution / synthesis systems / enumerative learning algorithm / synthesis tool / search strategy / search problem / dynamic programming algorithm / synthesis technologies / overall synthesis algorithm / inductive learning algorithm / search space / stochastic search / software development / learning algorithm / /

MarketIndex

set 250 / /

MusicGroup

Excel / /

Organization

University of Washington Abstract / University of Illinois / University of Pennsylvania / University of Michigan / University of California / Berkeley / Massachusetts Institute of Technology / U.S. Securities and Exchange Commission / Cornell University / /

Position

programmer / /

ProvinceOrState

Pennsylvania / Illinois / California / Massachusetts / Michigan / /

PublishedMedium

Machine Learning / /

SportsEvent

Olympic Games / /

Technology

learning algorithm / inductive synthesis algorithm / synthesis technologies / enumerative learning algorithm / dynamic programming algorithm / Machine Learning / enumerative algorithm / overall synthesis algorithm / inductive learning algorithm / /

SocialTag