| dc.contributor.author | Chaudhuri, Swarat | |
| dc.contributor.author | Solar-Lezama, Armando | |
| dc.date.accessioned | 2014-10-10T13:33:26Z | |
| dc.date.available | 2014-10-10T13:33:26Z | |
| dc.date.issued | 2012 | |
| dc.identifier.isbn | 978-3-642-31423-0 | |
| dc.identifier.isbn | 978-3-642-31424-7 | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.issn | 1611-3349 | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/90881 | |
| dc.description.abstract | We give a tutorial introduction to Euler, a system for solving difficult optimization problems involving programs. | en_US |
| dc.description.sponsorship | National Science Foundation (U.S.) (Award 1156059) | en_US |
| dc.description.sponsorship | National Science Foundation (U.S.) (Award 1116362) | en_US |
| dc.language.iso | en_US | |
| dc.publisher | Springer-Verlag | en_US |
| dc.relation.isversionof | http://dx.doi.org/10.1007/978-3-642-31424-7_57 | en_US |
| dc.rights | Creative Commons Attribution-Noncommercial-Share Alike | en_US |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | en_US |
| dc.source | Other univ. web domain | en_US |
| dc.title | Euler: A System for Numerical Optimization of Programs | en_US |
| dc.type | Article | en_US |
| dc.identifier.citation | Chaudhuri, Swarat, and Armando Solar-Lezama. “Euler: A System for Numerical Optimization of Programs.” Lecture Notes in Computer Science (2012): 732–737. | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | en_US |
| dc.contributor.mitauthor | Solar Lezama, Armando | en_US |
| dc.relation.journal | Computer Aided Verification | en_US |
| dc.eprint.version | Original manuscript | en_US |
| dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
| eprint.status | http://purl.org/eprint/status/NonPeerReviewed | en_US |
| dspace.orderedauthors | Chaudhuri, Swarat; Solar-Lezama, Armando | en_US |
| dc.identifier.orcid | https://orcid.org/0000-0001-7604-8252 | |
| dspace.mitauthor.error | true | |
| mit.license | OPEN_ACCESS_POLICY | en_US |
| mit.metadata.status | Complete | |
