First Page | Document Content | |
---|---|---|
Date: 2014-08-13 19:27:03Constraint 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. BerkeleyAdd to Reading ListSource URL: homes.cs.washington.eduDownload Document from Source WebsiteFile Size: 4,46 MBShare Document on Facebook |