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

2 pointsposted 9 hours ago
by measurablefunc
(link.springer.com)

No comments yet