@conference {DBLP:conf/aaai/BrightKG19,
	title = {A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples},
	booktitle = {The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Hono},
	year = {2019},
	pages = {1435{\textendash}1442},
	publisher = {AAAI Press},
	organization = {AAAI Press},
	doi = {10.1609/AAAI.V33I01.33011435},
	url = {https://doi.org/10.1609/aaai.v33i01.33011435},
	author = {Curtis Bright and Dragomir {\v Z}. {\DH}okovi{\'c} and Ilias S. Kotsireas and Vijay Ganesh}
}
