Hacker News new | ask | show | jobs
Combining SAT Solvers with CAS to Verify Combinatorial Conjectures (2016) (link.springer.com)
2 points by measurablefunc 20 days ago