Sketching: Program Synthesis using SAT Solvers
put your abstract here
Armando Solar-Lezama
, MIT, Cambridge, USA
put your bio here