McIlree and McCreesh. "Proof Logging for Smart Extensional Constraints (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2024.
Markdown
[McIlree and McCreesh. "Proof Logging for Smart Extensional Constraints (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/mcilree2024ijcai-proof/)
BibTeX
@inproceedings{mcilree2024ijcai-proof,
title = {{Proof Logging for Smart Extensional Constraints (Extended Abstract)}},
author = {McIlree, Matthew J. and McCreesh, Ciaran},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2024},
pages = {8444-8446},
url = {https://mlanthology.org/ijcai/2024/mcilree2024ijcai-proof/}
}