Euler: A System for Numerical Optimization of Programs
Author(s)
Chaudhuri, Swarat; Solar-Lezama, Armando
DownloadEuler-description.pdf (1.499Mb)
OPEN_ACCESS_POLICY
Open Access Policy
Creative Commons Attribution-Noncommercial-Share Alike
Terms of use
Metadata
Show full item recordAbstract
We give a tutorial introduction to Euler, a system for solving difficult optimization problems involving programs.
Date issued
2012Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer ScienceJournal
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