@article{BR49,
  author  = {Bruck, R. H. and Ryser, H. J.},
  title   = {The nonexistence of certain finite projective planes},
  journal = {Canad. J. Math.},
  volume  = {1},
  year    = {1949},
  pages   = {88--93}
}

@article{Lam91,
  author  = {Lam, C. W. H.},
  title   = {The search for a finite projective plane of order 10},
  journal = {Amer. Math. Monthly},
  volume  = {98},
  year    = {1991},
  pages   = {305--318}
}

@article{AST19,
  author  = {Akiyama, Kenzi and Suetake, Chihiro and Tanaka, Masaki},
  title   = {The nonexistence of projective planes of order 12 with a collineation group of order 9},
  journal = {Australas. J. Combin.},
  volume  = {74},
  number  = {1},
  year    = {2019},
  pages   = {112--160}
}

@article{AST23,
  author  = {Akiyama, Kenzi and Suetake, Chihiro and Tanaka, Masaki},
  title   = {Projective planes of order 12 do not have a collineation group of order 4},
  journal = {J. Combin. Des.},
  volume  = {31},
  number  = {2},
  year    = {2023},
  pages   = {87--123},
  doi     = {10.1002/jcd.21869}
}

@article{HW84,
  author  = {Hall, Jr., Marshall and Wilkinson, John},
  title   = {Ternary and binary codes for a plane of order 12},
  journal = {J. Combin. Theory Ser. A},
  volume  = {36},
  number  = {2},
  year    = {1984},
  pages   = {183--203},
  doi     = {10.1016/0097-3165(84)90004-9}
}

@article{Bru55,
  author  = {Bruck, R. H.},
  title   = {Difference sets in a finite group},
  journal = {Trans. Amer. Math. Soc.},
  volume  = {78},
  number  = {2},
  year    = {1955},
  pages   = {464--481},
  doi     = {10.1090/S0002-9947-1955-0069791-3}
}

@incollection{Bru69,
  author    = {Bruck, R. H.},
  title     = {Construction problems of finite projective planes},
  booktitle = {Combinatorial Mathematics and its Applications ({P}roc. {C}onf., {C}hapel {H}ill, 1967)},
  publisher = {Univ. North Carolina Press},
  address   = {Chapel Hill, N.C.},
  year      = {1969},
  pages     = {426--514}
}

@incollection{Bru73,
  author    = {Bruck, R. H.},
  title     = {Construction problems in finite projective spaces},
  booktitle = {Finite Geometric Structures and their Applications ({C.I.M.E.}, {II} {C}iclo, {B}ressanone, 1972)},
  publisher = {Edizioni Cremonese},
  address   = {Rome},
  year      = {1973},
  pages     = {105--188}
}

@article{HR84,
  author  = {Hall, Jr., Marshall and Roth, Robert},
  title   = {On a conjecture of {R. H. Bruck}},
  journal = {J. Combin. Theory Ser. A},
  volume  = {37},
  number  = {1},
  year    = {1984},
  pages   = {22--31},
  doi     = {10.1016/0097-3165(84)90016-5}
}

@article{Pri99,
  author  = {Prince, Alan R.},
  title   = {Projective planes of order 12 and {PG}(3,3)},
  journal = {Discrete Math.},
  volume  = {208/209},
  year    = {1999},
  pages   = {477--483},
  doi     = {10.1016/S0012-365X(99)00091-6}
}

@article{Pri01,
  author  = {Prince, Alan R.},
  title   = {Covering sets of spreads in {PG}(3,q)},
  journal = {Discrete Math.},
  volume  = {238},
  number  = {1-3},
  year    = {2001},
  pages   = {131--136},
  doi     = {10.1016/S0012-365X(00)00416-7}
}

@article{JvT80,
  author  = {Janko, Z. and van Trung, T.},
  title   = {On projective planes of order 12 which have a subplane of order three. {I}},
  journal = {J. Combin. Theory Ser. A},
  volume  = {29},
  year    = {1980},
  pages   = {254--256},
}

@article{JvT81,
  author  = {Janko, Zvonimir and van Trung, Tran},
  title   = {On projective planes of order 12 with an automorphism of order 13. {I}. {K}irkman designs of order 27},
  journal = {Geom. Dedicata},
  volume  = {11},
  number  = {3},
  year    = {1981},
  pages   = {257--284},
  doi     = {10.1007/BF00149351}
}

@article{JvT82a,
  author  = {Janko, Zvonimir and van Trung, Tran},
  title   = {On projective planes of order 12 with an automorphism of order 13. {II}. {O}rbit matrices and conclusion},
  journal = {Geom. Dedicata},
  volume  = {12},
  number  = {1},
  year    = {1982},
  pages   = {87--99},
  doi     = {10.1007/BF00147333}
}

@article{JvT82b,
  author  = {Janko, Zvonimir and van Trung, Tran},
  title   = {The full collineation group of any projective plane of order 12 is a $\{2,3\}$-group},
  journal = {Geom. Dedicata},
  volume  = {12},
  number  = {1},
  year    = {1982},
  pages   = {101--110},
  doi     = {10.1007/BF00147334}
}

@book{HP73,
  author    = {Hughes, D. R. and Piper, F. C.},
  title     = {Projective Planes},
  publisher = {Springer-Verlag},
  address   = {Berlin, Heidelberg, New York},
  year      = {1973}
}

@article{Den69,
  author  = {Denniston, R. H. F.},
  title   = {Some maximal arcs in finite projective planes},
  journal = {J. Combin. Theory},
  volume  = {6},
  number  = {3},
  year    = {1969},
  pages   = {317--319},
  doi     = {10.1016/S0021-9800(69)80095-5}
}

@article{BBM97,
  author  = {Ball, Simeon and Blokhuis, Aart and Mazzocca, Francesco},
  title   = {Maximal arcs in {D}esarguesian planes of odd order do not exist},
  journal = {Combinatorica},
  volume  = {17},
  number  = {1},
  year    = {1997},
  pages   = {31--41},
  doi     = {10.1007/BF01196129}
}

@article{Tha74,
  author  = {Thas, J. A.},
  title   = {Construction of maximal arcs and partial geometries},
  journal = {Geom. Dedicata},
  volume  = {3},
  number  = {1},
  year    = {1974},
  pages   = {61--64},
  doi     = {10.1007/BF00181361}
}

@article{Hal60,
  author  = {Hall, Jr., Marshall},
  title   = {Automorphisms of {S}teiner triple systems},
  journal = {IBM J. Res. Develop.},
  volume  = {4},
  number  = {5},
  year    = {1960},
  pages   = {460--472},
  doi     = {10.1147/rd.45.0460}
}

@book{Bru58,
  author    = {Bruck, Richard Hubert},
  title     = {A Survey of Binary Systems},
  publisher = {Springer-Verlag},
  address   = {Berlin, Heidelberg},
  year      = {1958},
  doi       = {10.1007/978-3-662-35338-7}
}

@misc{BroTables,
  author       = {Brouwer, A. E.},
  title        = {Tables of strongly regular graphs},
  howpublished = {\url{https://aeb.win.tue.nl/graphs/srg/srgtab.html}},
  note         = {Accessed 23 October 2026. The rows $(117,80,52,60)$ and $(130,81,48,54)$ carry the comments ``pg(8,9,6)?'' and ``pg(9,8,6)?'', and the row $(35,16,6,8)$ carries ``pg(4,3,2) does not exist (De Clerck)''}
}

@article{DHV78,
  author  = {Doyen, Jean and Hubaut, Xavier and Vandensavel, Monique},
  title   = {Ranks of incidence matrices of {S}teiner triple systems},
  journal = {Math. Z.},
  volume  = {163},
  number  = {3},
  year    = {1978},
  pages   = {251--259},
  doi     = {10.1007/BF01174898}
}

@incollection{Knu00,
  author    = {Knuth, Donald E.},
  title     = {Dancing links},
  booktitle = {Millennial Perspectives in Computer Science},
  publisher = {Palgrave},
  year      = {2000},
  pages     = {187--214},
  note      = {arXiv:cs/0011047}
}

@incollection{Kissat,
  author    = {Biere, Armin and Faller, Tobias and Fazekas, Katalin and Fleury, Mathias and Froleyks, Nils and Pollitt, Florian},
  title     = {{CaDiCaL}, {Gimsatul}, {IsaSAT} and {Kissat} entering the {SAT} {C}ompetition 2024},
  booktitle = {Proc. of SAT Competition 2024: Solver, Benchmark and Proof Checker Descriptions},
  editor    = {Heule, Marijn J. H. and Iser, Markus and J\"arvisalo, Matti and Suda, Martin},
  series    = {Department of Computer Science Report Series B},
  number    = {B-2024-1},
  publisher = {University of Helsinki},
  year      = {2024},
  pages     = {8--10}
}

@inproceedings{CaDiCaL,
  author    = {Biere, Armin and Faller, Tobias and Fazekas, Katalin and Fleury, Mathias and Froleyks, Nils and Pollitt, Florian},
  title     = {{CaDiCaL} 2.0},
  booktitle = {Computer Aided Verification ({CAV} 2024)},
  series    = {Lecture Notes in Comput. Sci.},
  year      = {2024},
  pages     = {133--152},
  doi       = {10.1007/978-3-031-65627-9_7}
}

@inproceedings{LRAT17,
  author    = {Cruz-Filipe, Lu{\'\i}s and Heule, Marijn J. H. and Hunt, Jr., Warren A. and Kaufmann, Matt and Schneider-Kamp, Peter},
  title     = {Efficient certified {RAT} verification},
  booktitle = {Automated Deduction -- {CADE} 26},
  series    = {Lecture Notes in Comput. Sci.},
  year      = {2017},
  pages     = {220--236},
  doi       = {10.1007/978-3-319-63046-5_14}
}

@inproceedings{DRATtrim,
  author    = {Wetzler, Nathan and Heule, Marijn J. H. and Hunt, Jr., Warren A.},
  title     = {{DRAT}-trim: efficient checking and trimming using expressive clausal proofs},
  booktitle = {Theory and Applications of Satisfiability Testing -- {SAT} 2014},
  series    = {Lecture Notes in Comput. Sci.},
  year      = {2014},
  pages     = {422--429},
  doi       = {10.1007/978-3-319-09284-3_31}
}

@inproceedings{Lean4,
  author    = {de Moura, Leonardo and Ullrich, Sebastian},
  title     = {The {L}ean 4 theorem prover and programming language},
  booktitle = {Automated Deduction -- {CADE} 28},
  series    = {Lecture Notes in Comput. Sci.},
  year      = {2021},
  pages     = {625--635},
  doi       = {10.1007/978-3-030-79876-5_37}
}

@inproceedings{Mathlib,
  author    = {{The mathlib Community}},
  title     = {The {L}ean mathematical library},
  booktitle = {Proceedings of the 9th {ACM SIGPLAN} International Conference on Certified Programs and Proofs ({CPP} 2020)},
  year      = {2020},
  pages     = {367--381},
  doi       = {10.1145/3372885.3373824}
}

@article{Ton17,
  author  = {Tonchev, Vladimir D.},
  title   = {On resolvable {S}teiner 2-designs and maximal arcs in projective planes},
  journal = {Des. Codes Cryptogr.},
  volume  = {84},
  year    = {2017},
  pages   = {165--172},
  doi     = {10.1007/s10623-016-0243-2}
}

@article{Dem58,
  author  = {Dembowski, Peter},
  title   = {Verallgemeinerungen von {T}ransitivit\"atsklassen endlicher projektiver {E}benen},
  journal = {Math. Z.},
  volume  = {69},
  year    = {1958},
  pages   = {59--89}
}

@article{Rot64,
  author  = {Roth, Richard},
  title   = {Collineation groups of finite projective planes},
  journal = {Math. Z.},
  volume  = {83},
  year    = {1964},
  pages   = {409--421},
  doi     = {10.1007/BF01111002}
}

@article{Wal73,
  author  = {Wallis, W. D.},
  title   = {Configurations arising from maximal arcs},
  journal = {J. Combin. Theory Ser. A},
  volume  = {15},
  year    = {1973},
  pages   = {115--119},
  doi     = {10.1016/0097-3165(73)90040-X}
}

@article{CMM92,
  author  = {Colbourn, Charles J. and Magliveras, Spyros S. and Mathon, Rudolf A.},
  title   = {Transitive {S}teiner and {K}irkman triple systems of order 27},
  journal = {Math. Comp.},
  volume  = {58},
  year    = {1992},
  pages   = {441--450},
  doi     = {10.1090/S0025-5718-1992-1106962-5}
}

@article{MR90,
  author  = {Mathon, Rudolf and Rosa, Alexander},
  title   = {Tables of parameters of {BIBD}s with $r\le41$ including existence, enumeration and resolvability results: an update},
  journal = {Ars Combin.},
  volume  = {30},
  year    = {1990},
  pages   = {65--96}
}

@article{BL85,
  author  = {B{\'e}n{\'e}teau, Lucien and Lacaze, Jacqueline},
  title   = {The groups related to the smallest non-affine {H}all triple system},
  journal = {J. Geom.},
  volume  = {24},
  number  = {1},
  year    = {1985},
  pages   = {1--5},
  doi     = {10.1007/BF01223526}
}

@article{EW16,
  author  = {Egan, Judith and Wanless, Ian M.},
  title   = {Enumeration of {MOLS} of small order},
  journal = {Math. Comp.},
  volume  = {85},
  year    = {2016},
  pages   = {799--824},
  doi     = {10.1090/mcom/3010}
}