@inproceedings{mcilree2023SmartExtensional title = {Proof Logging for Smart Extensional Constraints}, booktitle = {29th International Conference on Principles and Practice of Constraint Programming ({{CP}} 2023)}, author = {McIlree, Matthew J. and McCreesh, Ciaran}, editor = {Yap, Roland H. C.}, year = {2023}, series = {Leibniz International Proceedings in Informatics ({{LIPIcs}})}, volume = {280}, pages = {26:1--26:17}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, issn = {1868-8969}, doi = {10.4230/LIPIcs.CP.2023.26}, isbn = {978-3-95977-300-3}, urn = {urn:nbn:de:0030-drops-190633}, }