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

2 points | by measurablefunc 8 hours ago