#SMT求解

共 1 条 · 7 天 0 条 · 30 天 0 条

信息流里打上「SMT求解」标签的资讯、产品与论文，按刊登时间排，新的在上。

9月11日

这篇论文提出了一个在SMT求解中结合非地面子句学习的创新方法，可能提升求解效率，对研究逻辑推理和自动定理证明的工程师有参考价值。

arXiv cs.AI@Yasmine Briefs, Christoph Weidenbach原文