The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices