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

2 points | by measurablefunc 3 hours ago