@misc{indiciaeaa2844f75592,
  title = {Rado Numbers and SAT Computations},
  author = {Yuan Chang and Jesús A. De Loera and William J. Wesley},
  year = {2022},
  doi = {10.1145/3476446.3535494},
  url = {https://arxiv.org/abs/2210.03262},
  note = {Source identifier: 2210.03262}
}