The SAT+CAS paradigm and the Williamson conjecture

Citation:

C. Bright, Kotsireas, I. , and Ganesh, V. , “The SAT+CAS paradigm and the Williamson conjecture”, Communications in Computer Algebra, vol. 52, pp. 82–84, 2018.

Download Citation

• DOI
• BibTex
• Tagged
• XML

Abstract:

Notes:

Publisher's Version

Last updated on 07/24/2019