We give a tutorial introduction to Euler, a system for solving difficult optimization problems involving programs. © 2012 Springer-Verlag.
CITATION STYLE
Chaudhuri, S., & Solar-Lezama, A. (2012). Euler: A system for numerical optimization of programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7358 LNCS, pp. 732–737). https://doi.org/10.1007/978-3-642-31424-7_57
Mendeley helps you to discover research relevant for your work.