Rankooh and Janhunen. "Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming." International Joint Conference on Artificial Intelligence, 2024.
Markdown
[Rankooh and Janhunen. "Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/rankooh2024ijcai-improved/)
BibTeX
@inproceedings{rankooh2024ijcai-improved,
title = {{Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming}},
author = {Rankooh, Masood Feyzbakhsh and Janhunen, Tomi},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2024},
pages = {3369-3376},
url = {https://mlanthology.org/ijcai/2024/rankooh2024ijcai-improved/}
}