TY  - RPRT
TI  - On SAT Solvers and Ramsey-type Numbers
AU  - Burcu Canakci
AU  - Hannah Christenson
AU  - Robert Fleischman
AU  - William Gasarch
AU  - Nicole McNabb
AU  - Daniel Smolyak
PY  - 2023
UR  - https://arxiv.org/abs/2312.01159
ID  - 2312.01159
ER  -