TY  - RPRT
TI  - The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices
AU  - Curtis Bright
AU  - Dragomir Ž. Đoković
AU  - Ilias Kotsireas
AU  - Vijay Ganesh
PY  - 2019
DO  - 10.1007/s10472-019-09681-3
UR  - https://arxiv.org/abs/1907.04987
ID  - 1907.04987
ER  -