@misc{indiciae8087ff14cd37, title = {Approaching the Conway-99 problem using SAT solvers}, author = {Ali Keramatipour}, year = {2026}, url = {https://arxiv.org/abs/2604.23037}, note = {Source identifier: 2604.23037} }