4 ms·Combining SAT Solvers with CAS to Verify Combinatorial Conjectures (2016)2 points by measurablefunc 3mo ago