谷歌浏览器插件
订阅小程序
在清言上使用
VIPCreated with Sketch.

SAT Solving for Variants of First-Order Subsumption

Robin Coutelier,Jakob Rath,Michael Rawson,Armin Biere,Laura Kovács

CoRR（2024）

引用 2|浏览16
关键词
First-order theorem proving,SAT solving,Saturation,Subsumption
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要