Daniel Dallaire, Curtis Bright. Enumerating Projective Planes of Order Nine with Proof Verification. In Ali Kemal Uncu, Haniel Barbosa, editors, Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022. Volume 3458 of CEUR Workshop Proceedings, pages 45-54, CEUR-WS.org, 2022. [doi]
@inproceedings{DallaireB22, title = {Enumerating Projective Planes of Order Nine with Proof Verification}, author = {Daniel Dallaire and Curtis Bright}, year = {2022}, url = {https://ceur-ws.org/Vol-3458/paper5.pdf}, researchr = {https://researchr.org/publication/DallaireB22}, cites = {0}, citedby = {0}, pages = {45-54}, booktitle = {Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022}, editor = {Ali Kemal Uncu and Haniel Barbosa}, volume = {3458}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }