ACM Principles of Programming Languages, POPL 2014


Article Details
Title: Bridging boolean and quantitative synthesis using smoothed proof search
Article URLs:
Alternative Article URLs:
Authors: Swarat Chaudhuri
  • Rice University
Martin Clochard
  • ENS Paris
  • Université Paris-Sud, LRI
  • Université Paris-Sud, Inria Saclay
Armando Solar-Lezama
  • MIT
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1162076
DBLP Key: conf/popl/ChaudhuriCS14
Author Comments:

Discuss this paper and its artifacts below