Ternovska and Mitchell. "Declarative Programming of Search Problems with Built-in Arithmetic." International Joint Conference on Artificial Intelligence, 2009.
Markdown
[Ternovska and Mitchell. "Declarative Programming of Search Problems with Built-in Arithmetic." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/ternovska2009ijcai-declarative/)
BibTeX
@inproceedings{ternovska2009ijcai-declarative,
title = {{Declarative Programming of Search Problems with Built-in Arithmetic}},
author = {Ternovska, Eugenia and Mitchell, David G.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2009},
pages = {942-947},
url = {https://mlanthology.org/ijcai/2009/ternovska2009ijcai-declarative/}
}