Logic−Based Inductive Synthesis of Efficient Programs
Andrew Cropper
Book Title
Proceedings of the Twenty−Fifth International Joint Conference on Artificial Intelligence‚ IJCAI 2016‚ New York‚ NY‚ USA‚ 9−15 July 2016
Editor
Subbarao Kambhampati
Pages
3980–3981
Publisher
IJCAI/AAAI Press
Year
2016