Back to Results
First PageMeta Content
Constraint programming / Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Satisfiability Modulo Theories / AMPL / Theoretical computer science / Applied mathematics / Software engineering


Growing Solver-Aided Languages with ROSETTE Emina Torlak & Rastislav Bodik U.C. Berkeley
Add to Reading List

Document Date: 2014-08-13 19:27:03

Open Document

File Size: 4,46 MB

Share Result on Facebook

City

Oxford / /

Company

IBM / /

Organization

MIT / UCLA / /

Person

MIN CORE / /

Technology

DSL / SDSL / /

SocialTag