@misc{indiciaea2e2f467c083,
  title = {Queen Domination by SAT Solving},
  author = {Taha Rostami and Curtis Bright},
  year = {2026},
  doi = {10.26493/2590-9770.2033.c47},
  url = {https://arxiv.org/abs/2508.11945},
  note = {Source identifier: 2508.11945}
}