@article{bright2019sat,
  title={A SAT Certification for the Nonexistence of Weight 16 Codewords in a Projective Plane of Order Ten},
  author={Bright, Curtis and Cheung, Kevin and Stevens, Brett and Kotsireas, Ilias and Ganesh, Vijay},
  year={2019}
}