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

2 points | by measurablefunc 9 hours ago