针对塔斯基高中代数问题的 SAT 攻击

针对塔斯基高中代数问题的 SAT 攻击
A SAT Attack on Tarski's High School Algebra Problem

arXivLabs 是一个允许合作者直接在我们的网站上开发并分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受了我们对于开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于坚守这些价值观，并仅与遵循这些准则的合作伙伴开展合作。您有为 arXiv 社区创造价值的项目想法吗？了解更多关于 arXivLabs 的信息。

抱歉。

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

针对塔斯基高中代数问题的 SAT 攻击 A SAT Attack on Tarski's High School Algebra Problem

针对塔斯基高中代数问题的 SAT 攻击
A SAT Attack on Tarski's High School Algebra Problem