BibTeX record conf/scsquare/DallaireB22

• > Home > conf/scsquare/DallaireB22

@inproceedings{DBLP:conf/scsquare/DallaireB22,
  author       = {Daniel Dallaire and
                  Curtis Bright},
  editor       = {Ali Kemal Uncu and
                  Haniel Barbosa},
  title        = {Enumerating Projective Planes of Order Nine with Proof Verification},
  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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3458},
  pages        = {45--54},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3458/paper5.pdf},
  timestamp    = {Mon, 28 Aug 2023 17:23:07 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/DallaireB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}