TY  - RPRT
TI  - Queen Domination by SAT Solving
AU  - Taha Rostami
AU  - Curtis Bright
PY  - 2026
DO  - 10.26493/2590-9770.2033.c47
UR  - https://arxiv.org/abs/2508.11945
ID  - 2508.11945
ER  -