%0 Conference Paper %1 conf/cpaior/McIlreeMN24 %A McIlree, Matthew J. %A McCreesh, Ciaran %A Nordström, Jakob %B CPAIOR (2) %D 2024 %E Dilkina, Bistra %I Springer %K dblp %P 38-55 %T Proof Logging for the Circuit Constraint. %U http://dblp.uni-trier.de/db/conf/cpaior/cpaior2024-2.html#McIlreeMN24 %V 14743 %@ 978-3-031-60599-4

@inproceedings{conf/cpaior/McIlreeMN24, added-at = {2024-06-18T00:00:00.000+0200}, author = {McIlree, Matthew J. and McCreesh, Ciaran and Nordström, Jakob}, biburl = {https://www.bibsonomy.org/bibtex/2970c0752085814b68383bc01f7ca8d11/dblp}, booktitle = {CPAIOR (2)}, crossref = {conf/cpaior/2024-2}, editor = {Dilkina, Bistra}, ee = {https://doi.org/10.1007/978-3-031-60599-4_3}, interhash = {a2569552386a7fbf23026fc76dd79a51}, intrahash = {970c0752085814b68383bc01f7ca8d11}, isbn = {978-3-031-60599-4}, keywords = {dblp}, pages = {38-55}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-24T07:41:35.000+0200}, title = {Proof Logging for the Circuit Constraint.}, url = {http://dblp.uni-trier.de/db/conf/cpaior/cpaior2024-2.html#McIlreeMN24}, volume = 14743, year = 2024 }