The SAT+CAS Paradigm and the Williamson Conjecture

Title The SAT+CAS Paradigm and the Williamson Conjecture
Author
Year of Publication
2018
Journal
ACM Communications in Computer Algebra (CCA 2018)
Download citation