@conference {DBLP:conf/aaai/BrightKG18,
	title = {A SAT+CAS Method for Enumerating Williamson Matrices of Even Order},
	booktitle = {Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orl},
	year = {2018},
	pages = {6573{\textendash}6580},
	publisher = {AAAI Press},
	organization = {AAAI Press},
	doi = {10.1609/AAAI.V32I1.12203},
	url = {https://doi.org/10.1609/aaai.v32i1.12203},
	author = {Curtis Bright and Ilias S. Kotsireas and Vijay Ganesh},
	editor = {Sheila A. McIlraith and Kilian Q. Weinberger}
}
