Zhang et al. "Automated Strategy Invention for Confluence of Term Rewrite Systems." International Joint Conference on Artificial Intelligence, 2025. doi:10.24963/IJCAI.2025/526
Markdown
[Zhang et al. "Automated Strategy Invention for Confluence of Term Rewrite Systems." International Joint Conference on Artificial Intelligence, 2025.](https://mlanthology.org/ijcai/2025/zhang2025ijcai-automated/) doi:10.24963/IJCAI.2025/526
BibTeX
@inproceedings{zhang2025ijcai-automated,
title = {{Automated Strategy Invention for Confluence of Term Rewrite Systems}},
author = {Zhang, Liao and Mitterwallner, Fabian and Jakubuv, Jan and Kaliszyk, Cezary},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2025},
pages = {4724-4732},
doi = {10.24963/IJCAI.2025/526},
url = {https://mlanthology.org/ijcai/2025/zhang2025ijcai-automated/}
}