Report copyright - Synthesizing Programs with Constraint Solversbodik/ucb/Files/2012/...Finally, we show how to encode the resulting SAT problem in relational logic, and how this encoding can be used
Please pass captcha verification before submit form