按相关排序
全部格式
全部页数
时间不限
只看优质
只看可投资
展开
排序：
相关 最多阅读 最新上传
格式：
全部 doc pdf ppt xls txt 豆单
页数：
全部 1-8页 9-100页 100页以上
时间：
全部 2024年 2023年 2022年及以前
18
Algorithms for computing minimal equivalent subformulas.pdf
Algorithms for computing minimal equivalent subformulas
立即下载
15
Exploiting Independent Subformulas A Faster Approximation….pdf
Exploiting Independent Subformulas A Faster Approximation…
立即下载
17
On Computing Minimal Equivalent Subformulas - Dr. Anton Belov.pdf
On Computing Minimal Equivalent Subformulas - Dr. Anton Belov
立即下载
6
The Properties of Sets of Temporal Logic Subformulas.pdf
The Properties of Sets of Temporal Logic Subformulas
立即下载
15
Easily refutable subformulas of large random 3CNF formulas.pdf
Easily refutable subformulas of large random 3CNF formulas
立即下载

向豆丁求助：有没有subformulas?

如要投诉违规内容，请联系我们按需举报；如要提出意见建议，请到社区论坛发帖反馈。