Program synthesis using conflict-driven learning.

Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig

Browse the full PLDI paper archive.