Euler: A System for Numerical Optimization of Programs
Name
Euler-description.pdf
Size
1.5 MB
Format
Adobe PDF
Checksum (MD5)
30ea30728e4cf8488a2e4d951aaf6451
Author(s)
Chaudhuri, Swarat
Solar-Lezama, Armando
Date Issued
2012
Journal
Computer Aided Verification
Publisher
Springer-Verlag
Citation
Chaudhuri, Swarat, and Armando Solar-Lezama. “Euler: A System for Numerical Optimization of Programs.” Lecture Notes in Computer Science (2012): 732–737.
Version
Original manuscript
Abstract
We give a tutorial introduction to Euler, a system for solving difficult optimization problems involving programs.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1007/978-3-642-31424-7_57
