Bridging boolean and quantitative synthesis using smoothed proof search.

Swarat Chaudhuri Martin Clochard Armando Solar-Lezama

Published in: POPL (2014)

Keyphrases

proof search
theorem prover
theorem proving
linear logic
inference rules
proof planning
search procedure
search algorithm
first order logic
qualitative and quantitative
boolean functions
cut elimination
machine learning
logic programming