countermodels

标签

#countermodels

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

Hacker News Top ↗ · 2026-08-12 缓存

本文使用SAT求解证明塔斯基高中代数问题的最小反模型大小为12，提供了分类并在Lean中验证了该结果。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈