TY  - RPRT
TI  - Applying Computer Algebra Systems with SAT Solvers to the Williamson Conjecture
AU  - Curtis Bright
AU  - Ilias Kotsireas
AU  - Vijay Ganesh
PY  - 2019
DO  - 10.1016/j.jsc.2019.07.024
UR  - https://arxiv.org/abs/1804.01172
ID  - 1804.01172
ER  -