Sketching: Program Synthesis using SAT Solvers

put your abstract here

Armando Solar-Lezama, MIT, Cambridge, USA

put your bio here