Bridging boolean and quantitative synthesis using smoothed proof search.

Swarat Chaudhuri, Martin Clochard, Armando Solar-Lezama

Browse the full POPL paper archive.