Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture
| Title | Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture |
|---|---|
| Author | |
| Year of Publication |
2018
|
| Journal |
Submitted to the Journal of Symbolic Computation
|
| URL |
https://arxiv.org/abs/1804.01172
|
| Download citation |