ML Anthology

Logic-Based Inductive Synthesis of Efficient Programs

Andrew Cropper
IJCAI 2016 pp. 3980-3981
/ijcai/2016/cropper2016ijcai-logic/
IJCAI Semantic Scholar

Cite

Text

Cropper. "Logic-Based Inductive Synthesis of Efficient Programs." International Joint Conference on Artificial Intelligence, 2016.

Markdown

[Cropper. "Logic-Based Inductive Synthesis of Efficient Programs." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/cropper2016ijcai-logic/)

BibTeX

@inproceedings{cropper2016ijcai-logic,
  title     = {{Logic-Based Inductive Synthesis of Efficient Programs}},
  author    = {Cropper, Andrew},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {3980-3981},
  url       = {https://mlanthology.org/ijcai/2016/cropper2016ijcai-logic/}
}