Matthew J. McIlree

1 paper in the IJCAI proceedings

IJCAI 2024

Proof Logging for Smart Extensional Constraints (Extended Abstract)

with Ciaran McCreesh

doi:10.24963/ijcai.2024/938

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings