第四届解法器快速算法及应用研讨会(Solver2021)湖南.韶山