本研究评估了现代SMT求解器在约束满足问题中的应用，发现其在解决25x25数独难题时显著优于传统SAT求解器，展示了SMT求解器的有效性及逻辑求解器的演变。

Evaluation of SAT and SMT Solvers for Large Sudoku Problems
BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 ·
👤 个人中心
在公众号发送验证码完成验证