理詰めソルバーと山登り法でカックロ（クロスサム）の一意解問題を自動生成

文章介绍了一种通过逻辑推理求解器与爬山算法自动生成唯一答案卡克洛谜题的方法。该方法首先利用预计算的数字组合进行约束传播，筛选出仅能通过逻辑推导得出单一解的盘面；随后采用爬山法随机调整数字，以“无法确定的格子数”为评分指标优化盘面，直至评分归零完成生成。