×

找到12个文档（结果1-12）

最新的 引文 关联
约塔姆·M·Y·费尔德曼。；沙龙·肖姆

单调理论中具有可证明复杂性的不变推理。 （英语） Zbl 1524.68187号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13790, 201-226 (2022).
MSC公司：60年第68季度 65年第68季度 68问题32
PDF格式BibTeX公司 XML格式引用
\textit{Y.M.Y.Feldman}和\textit{S.Shoham}，莱克特。票据计算。科学。13790，201-226（2022；Zbl 1524.68187）
全文： 内政部 arXiv公司
约塔姆·M·Y·费尔德曼。；沙龙·肖姆

基于SAT的不变推理及其与概念学习的关系。 （英语） Zbl 07714973号

Lin，Anthony W.（编辑）等人，《可达性问题》。第16届国际会议，RP 2022，德国凯泽斯劳滕，2022年10月17日至21日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13608, 3-27 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{Y.M.Y.Feldman}和\textit{S.Shoham}，莱克特。票据计算。科学。13608，3-27（2022；兹bl 07714973）
全文： 内政部
伊丽莎白·波尔格林；安德鲁·雷诺兹；Sanjit A.Seshia。

可满足性与合成模预言。 （英语） Zbl 1498.68082号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13182, 263-284 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Polgreen}等人，Lect。票据计算。科学。13182、263--284（2022年；Zbl 1498.68082）
全文： 内政部 arXiv公司
Franz-Xaver Reichl；弗里德里希·斯利沃夫斯基；斯泽德，斯特凡

通过定义提取认证DQBF解决方案。 （英语） Zbl 07495594号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12831, 499-517 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{F.-X.Reichl}等人，Lect。票据计算。科学。12831499--517（2021；Zbl 07495594）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

出版年份

主字段

全部的 前3名

软件