Program synthesis using conflict-driven learning

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 11, 2018
Source ID
10.1145/3192366.3192382

Entities

People

  • Işıl Dillig
  • Osbert Bastani
  • Ruben Martins
  • Yu Feng

Organizations

  • Carnegie Mellon University
  • Defense Advanced Research Projects Agency
  • Massachusetts Institute of Technology
  • National Science Foundation
  • University of Texas at Austin