%0 Journal Article %1 journals/cca/BrightKG18 %A Bright, Curtis %A Kotsireas, Ilias S. %A Ganesh, Vijay %D 2018 %J ACM Commun. Comput. Algebra %K dblp %N 3 %P 82-84 %T The SAT+CAS paradigm and the Williamson conjecture. %U http://dblp.uni-trier.de/db/journals/cca/cca52.html#BrightKG18 %V 52

@article{journals/cca/BrightKG18, added-at = {2022-01-03T00:00:00.000+0100}, author = {Bright, Curtis and Kotsireas, Ilias S. and Ganesh, Vijay}, biburl = {https://www.bibsonomy.org/bibtex/26c906f339446bda287297ca9a0edd033/dblp}, ee = {https://doi.org/10.1145/3313880.3313889}, interhash = {c9fb7666a793499433bf42aaf786c916}, intrahash = {6c906f339446bda287297ca9a0edd033}, journal = {ACM Commun. Comput. Algebra}, keywords = {dblp}, number = 3, pages = {82-84}, timestamp = {2024-04-08T13:32:17.000+0200}, title = {The SAT+CAS paradigm and the Williamson conjecture.}, url = {http://dblp.uni-trier.de/db/journals/cca/cca52.html#BrightKG18}, volume = 52, year = 2018 }