Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig. Program synthesis using conflict-driven learning. In Jeffrey S. Foster, Dan Grossman, editors, Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018. pages 420-435, ACM, 2018. [doi]
@inproceedings{FengMBD18,
title = {Program synthesis using conflict-driven learning},
author = {Yu Feng and Ruben Martins and Osbert Bastani and Isil Dillig},
year = {2018},
doi = {10.1145/3192366.3192382},
url = {http://doi.acm.org/10.1145/3192366.3192382},
researchr = {https://researchr.org/publication/FengMBD18},
cites = {0},
citedby = {0},
pages = {420-435},
booktitle = {Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018},
editor = {Jeffrey S. Foster and Dan Grossman},
publisher = {ACM},
}