@article {DBLP:journals/amai/BrightDKG19,
	title = {The SAT+CAS method for combinatorial search with applications to best matrices},
	journal = {Ann. Math. Artif. Intell.},
	volume = {87},
	number = {4},
	year = {2019},
	pages = {321{\textendash}342},
	doi = {10.1007/S10472-019-09681-3},
	url = {https://doi.org/10.1007/s10472-019-09681-3},
	author = {Curtis Bright and Dragomir Z. Dokovic and Ilias S. Kotsireas and Vijay Ganesh}
}
