Combining SAT Solvers with CAS to Verify Combinatorial Conjectures (2016) · HackerLangs