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

[measurablefunc]

https://link.springer.com/article/10.1007/s10817-016-9396-y