SAT 对塔尔斯基高中代数题的攻解
SAT对塔尔斯基高中代数题的攻解
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
一篇论文用 SAT 求解器攻解塔尔斯基的高中代数问题，相关讨论出现在 Hacker News。原文未给出具体求解器名称、规模或性能数据。
来源：arxiv.org（经 Hacker News） · arxiv.org
SAT对塔尔斯基高中代数题的攻解
本站未展示全文，请前往来源网站阅读。
一篇论文用 SAT 求解器攻解塔尔斯基的高中代数问题，相关讨论出现在 Hacker News。原文未给出具体求解器名称、规模或性能数据。
来源：arxiv.org（经 Hacker News） · arxiv.org