@misc{indiciae8ef7f2ad0cd2,
  title = {Optimizing Explicit Unit-Distance Lower-Bound Certificates},
  author = {Michael T. M. Emmerich},
  year = {2026},
  url = {https://arxiv.org/abs/2606.03419},
  note = {Source identifier: 2606.03419}
}