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

(link.springer.com)

2 points | by measurablefunc 9 hours ago

No comments yet.