Program Synthesis using Conflict-Driven Learning

Yu Feng, Ruben Martins, Osbert Bastani +1

We propose a new conflict-driven program synthesis technique that is capable of learning from past mistakes. Given a spurious program that violates the desired specification, our s…