Combining SAT Solvers with CAS to Verify Combinatorial Conjectures (2016)link.springer.com2 points·measurablefunc··0 commentsOpen articleSaveView on HN