Making discrete decisions based on continuous values

Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2017. === This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections. === Cataloged from student-subm...

Full description

Bibliographic Details
Main Author: Sherman, Benjamin (Benjamin Marc)
Other Authors: Adam Chlipala and Michael Carbin.
Format: Others
Language:English
Published: Massachusetts Institute of Technology 2017
Subjects:
Online Access:http://hdl.handle.net/1721.1/112004