将 SAT 求解器与 CAS 相结合来验证组合猜想 (2016) · HackerLangs