Cite
APA Citation
Bright, C., Kotsireas, I., & Ganesh, V. (2020). applying computer algebra systems with SAT solvers to the Williamson conjecture. Journal of symbolic computation, 100, 187–209. http://access.bl.uk/ark:/81055/vdc_100103933415.0x00002b