Program Synthesis using Conflict-Driven Learning
Presented on November 5, 2018
Presenter: Lawton
Presenter: Lawton
Preview
Lawton will present Program Synthesis using Conflict-Driven Learning by Yu Feng, Ruben Martins, Osbert Bastani, and Işil Dillig.