Euler: A System for Numerical Optimization of Programs

Author(s)
Chaudhuri, Swarat; Solar-Lezama, Armando
Thumbnail
DownloadEuler-description.pdf (1.499Mb)
OPEN_ACCESS_POLICY
Terms of use
Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/
Metadata
Show full item record
Abstract
We give a tutorial introduction to Euler, a system for solving difficult optimization problems involving programs.
Date issued
2012
URI
http://hdl.handle.net/1721.1/90881
Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
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
ISBN
978-3-642-31423-0
978-3-642-31424-7
ISSN
0302-9743
1611-3349
Collections