TY  - RPRT
TI  - Rado Numbers and SAT Computations
AU  - Yuan Chang
AU  - Jesús A. De Loera
AU  - William J. Wesley
PY  - 2022
DO  - 10.1145/3476446.3535494
UR  - https://arxiv.org/abs/2210.03262
ID  - 2210.03262
ER  -