%0 Conference Paper %1 conf/aaai/BrightKG19 %A Bright, Curtis %A Ðokovic, Dragomir Z. %A Kotsireas, Ilias S. %A Ganesh, Vijay %B AAAI %D 2019 %I AAAI Press %K dblp %P 1435-1442 %T A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2019.html#BrightKG19 %@ 978-1-57735-809-1

@inproceedings{conf/aaai/BrightKG19, added-at = {2021-02-02T00:00:00.000+0100}, author = {Bright, Curtis and Ðokovic, Dragomir Z. and Kotsireas, Ilias S. and Ganesh, Vijay}, biburl = {https://www.bibsonomy.org/bibtex/2f36dc00b6df52bdeac33f7245cd3b176/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2019}, ee = {https://doi.org/10.1609/aaai.v33i01.33011435}, interhash = {e6342a65aeef8c56688a2bacfd6c95d0}, intrahash = {f36dc00b6df52bdeac33f7245cd3b176}, isbn = {978-1-57735-809-1}, keywords = {dblp}, pages = {1435-1442}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:02:18.000+0200}, title = {A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2019.html#BrightKG19}, year = 2019 }