Benchmarking Commercial MILP Solvers: Insights on Parallelism for the N-Queens Problem. - Ali Abbasi; Rui A. Ribeiro; João L. Sobral; Ricardo Rodrigues 013 (ICPS, 2025)