@article {DBLP:journals/jsc/BrightKG20,
	title = {Applying computer algebra systems with SAT solvers to the Williamson conjecture},
	journal = {J. Symb. Comput.},
	volume = {100},
	year = {2020},
	pages = {187{\textendash}209},
	doi = {10.1016/J.JSC.2019.07.024},
	url = {https://doi.org/10.1016/j.jsc.2019.07.024},
	author = {Curtis Bright and Ilias S. Kotsireas and Vijay Ganesh}
}
