×

找到586份文件（结果1-100）

最新 引文 关联
塔内尔·塔米特;普里特·Järv;马丁·弗列夫;德雷克·德拉海姆

自然语言自动推理的实验管道（短文）。 （英语） Zbl 07838505号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 509-521 (2023).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Tammet}等人，Lect。注释计算。科学。14132509--521（2023年；Zbl 07838505）
全文： 内政部
艾哈迈德·巴亚特;约翰·肖斯·沃尔（Johannes Schoisswohl）;迈克尔·劳森

延迟统一的叠加。 （英语） Zbl 07838478号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 23-40 (2023).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\文本{A.Bhayat}等人，Lect。注释计算。科学。14132，23--40（2023；Zbl 07838478）
全文： 内政部 arXiv公司
杰里米亚斯·伯格;巴特·博加特;雅各布诺德斯特伦;安迪·厄特尔;迪特尔·范德桑德

经认证的核心引导MaxSAT解决方案。 （英语） Zbl 07838477号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132，1-22（2023年）。
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Berg}等人，Lect。注释计算。科学。14132，1--22（2023；Zbl 07838477）
全文： 内政部
是的，埃里克;布里兰·希塔吉;萨姆·奥雷;梅纳·奎梅纳;Natarajan Shankar

CoProver:一种证明结构的推荐系统。 （英语） Zbl 07810735号

Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 237-251 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{E.Yeh}等人，Lect。注释计算。科学。14101237--251（2023；Zbl 07810735）
全文： 内政部 arXiv公司
多萝西娅·鲍迈斯特;马克·内维尔（Marc Neveling）;马格纳斯·罗斯;约尔格·罗特;莱娜·申德;罗宾·魏肖普特;夏丽蓉

权重不确定的可能赢家问题。 （英语） Zbl 1531.91084号

J.计算。系统。科学。 138，文章ID 103464，35 p.（2023）.
MSC公司：91B14号机组 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Baumeister}等人，J.Compute。系统。科学。138，文章ID 103464，35 p.（2023；Zbl 1531.91084）
全文： 内政部
辛格、希卡;卡马尔·洛达亚;迪帕克·凯梅尼

吓唬Gruffalo的两种方法。 （英语） Zbl 07728687号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 48-67 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.Singh}等人，Lect。注释计算。科学。13963、48-67（2023；Zbl 07728687）
全文： 内政部
埃马努埃莱·德安吉利斯;V.K.、Hari Govind

CHC-COMP 2022：竞争报告。 （英语） Zbl 07806143号

Hamilton，Geoffrey W.（ed.）等人，《验证与合成用Horn条款第九次研讨会和验证与程序转换第十次国际研讨会会议记录》，HCVS/VPT 2022，德国慕尼黑，2022年4月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37344-62（2022年）。
MSC公司：68倍 65-XX岁
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}和\textit{H.G.V.K.}，电子。程序。西奥。计算。科学。（EPTCS）373、44--62（2022；Zbl 07806143）
全文： arXiv公司 链接
阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;戈帕尔·古普塔;曼努埃尔五世（Manuel V.Hermenegildo）。;恩里科·蓬泰利;里卡多·罗查

并行逻辑编程：续集。 （英语） Zbl 07776352号

理论与实践。日志。程序。 第6号第22页，905-973页（2022）.
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{A.Dovier}等人，《理论与实践》。日志。程序。22，第6号，905--973（2022；Zbl 07776352）
全文： 内政部 arXiv公司
贝洛·卢伦索（Cláudio）;豪尔赫·索萨·平托

Why3-do：和谐分布式系统证明的方法。 （英语） Zbl 1528.68248号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 114-142 (2022).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛C.Belo Lourenço｝和\textit｛J.Sousa Pinto｝，Lect。注释计算。科学。13240，114--142（2022；Zbl 1528.68248）
全文： 内政部
马蒂亚斯·克诺尔

关于结合本体论和规则。 （英语） Zbl 1524.68366号

Šimkus，Mantas（编辑）等人，《推理网络》。声明式人工智能。2021年9月8日至15日，比利时鲁汶，2021年第17届国际暑期学校。辅导讲座。查姆：斯普林格。莱克特。注释计算。科学。13100, 22-58 (2022).
MSC公司：68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Knorr}，莱克特。注释计算。科学。13100，22-58（2022；Zbl 1524.68366）
全文： 内政部
林克，塞巴斯蒂安;亨利·普拉德;理查德·吉尔斯

类比比例、多值相关性和解释。 （英语） Zbl 1524.68358号

Dupin de Saint-Cyr，Florence（编辑）等，可扩展不确定性管理。2022年10月17日至19日，法国巴黎，第15届国际会议，SUM 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13562, 351-360 (2022).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.Link}等人，Lect。注释计算。科学。13562、351--360（2022；Zbl 1524.68358）
全文： 内政部
汉斯·范·迪特马什;马尔文·加廷格

八卦的局限性：对所有秘密的二阶共享知识是不令人满意的。 （英语） Zbl 07691326号

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468, 237-249 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}和\textit{M.Gattinger}，莱克特。注释计算。科学。13468237-249（2022年；兹bl 07691326）
全文： 内政部
哈拉，简;Jakubův，简;米科拉什·亚诺塔;卢卡什库贝

SMT解算器的目标配置。 （英语） Zbl 07691304号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13467, 256-271 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Hůla}等人，Lect。注释计算。科学。13467256-271（2022；Zbl 07691304）
全文： 内政部
卡明·多达罗;戴维·伊拉迪;一对，卢卡;弗朗西斯科·里卡

答案集编程中启发式生成的深度学习：图着色的案例研究。 （英语） Zbl 1515.68094号

Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13416, 145-158 (2022).
MSC公司：68N17号 05C15号 68T05型 68T20型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{C.Dodaro}等人，Lect。注释计算。科学。13416、145--158（2022年；Zbl 1515.68094）
全文： 内政部 链接
Elisa伯尔;莎拉·爱丽丝·加格尔

金枪鱼——寻找不同的答案集：多热点权衡策略。 （英语） Zbl 07671881号

Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13416, 89-102 (2022).
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.Böhl}和\textit{S.A.Gaggl}，莱克特。注释计算。科学。13416，89-102（2022；Zbl 07671881）
全文： 内政部
范甘·特林;贝莱德·本哈莫;Hiraishi、Kunihiko;西尔万·索利曼

逻辑模型的最小陷阱空间是其Petri网编码的最大信标。 （英语） Zbl 1505.92082号

Petre，Ion（编辑）等人，《系统生物学中的计算方法》。第20届国际会议，CMSB 2022，罗马尼亚布加勒斯特，2022年9月14-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13447, 158-176 (2022).
MSC公司：92立方厘米 92C40型 94D10号
PDF格式BibTeX公司 XML格式引用
\textit{V.-G.Trinh}等人，Lect。注释计算。科学。13447，158--176（2022；Zbl 1505.92082）
全文： 内政部 哈尔
丹尼尔·贾恩·奥尼亚;Manuel jun，马祖。

合作多智能体学习中稳健的事件驱动交互。 （英语） Zbl 07643440号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 281-297 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.Jarne Ornia}和\textit{M.Mazo jun.}，莱克特。注释计算。科学。13465，281--297（2022；Zbl 07643440）
全文： 内政部 arXiv公司
Jelle Piepenbrock;汤姆·海斯克斯;米科拉什·亚诺塔;约瑟夫·乌尔班

用神经重写指导自动定理证明器。 （英语） Zbl 1512.68427号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 597-617 (2022).
审核人：Truong Hoang Le（北纬ội）
MSC公司：68伏15 20号05 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{J.Piepenbrock}等人，Lect。注释计算。科学。13385、597--617（2022年；Zbl 1512.68427）
全文： 内政部
柴塔尼亚·曼格拉;肖恩·霍尔顿。;劳伦斯·C·鲍尔森。

自动定理证明器中策略调度的贝叶斯排序。 （英语） Zbl 1520.68216号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 559-577 (2022).
审核人：Truong Hoang Le（北纬ội）
MSC公司：68伏15 68T05型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Mangla}等人，Lect。注释计算。科学。13385，559--577（2022；Zbl 1520.68216）
全文： 内政部
松崎隆彦;富士达，富城府

通过代数索引类型的不变性检测简化公式。 （英语） Zbl 07628200号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385，388-406（2022）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Matsuzaki}和\textit{T.Fujita}，莱克特。注释计算。科学。13385，388--406（2022；Zbl 07628200）
全文： 内政部
乍得·E·布朗。;塞萨里·卡利西克

间隙1.0（系统描述）。 （英语） Zbl 07628197号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 350-358 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{C.E.Brown}和\textit{C.Kaliszyk}，莱克特。注释计算。科学。13385，350-358（2022；Zbl 07628197）
全文： 内政部 arXiv公司
亨德里克·莱丁格;克里斯托夫·韦登巴赫

SCL（EQ）：SCL表示等式的一阶逻辑。 （英语） Zbl 07628190号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 228-247 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{H.Leidinger}和\textit{C.Weidenbach}，莱克特。注释计算。科学。13385、228--247（2022；Zbl 07628190）
全文： 内政部 arXiv公司
法贾尔·海法尼;帕特里克·科普曼;索菲·托雷特;克里斯托夫·韦登巴赫

连接-通过翻译到FOL，在\（\mathcal{EL}\）中的最小外展。 （英语） Zbl 07628188号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 188-207 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit｛F.Haifani｝等人，Lect。注释计算。科学。13385、188--207（2022；Zbl 07628188）
全文： 内政部 arXiv公司
Ţuţu，伊奥努;克劳迪娅·埃琳娜·奇里;JoséLuiz Fiadeiro

通过类型化模式进行动态重新配置。 （英语） Zbl 1521.68037号

Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047, 599-615 (2021).
MSC公司：68纳米30 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{I.Ţuţu}等人，Lect。注释计算。科学。13047、599--615（2021；Zbl 1521.68037）
全文： 内政部 链接
亚当·皮斯

选择一个逻辑来表示自然语言的语义。 （英语） Zbl 07671039号

彼得罗·巴罗尼（编辑）等人，《逻辑与论证》。第四届国际会议，CLAR 2021，中国杭州，2021年10月20日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13040, 504-512 (2021).
MSC公司：03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\发短信{A.Pease}，Lect。注释计算。科学。13040、504--512（2021；Zbl 07671039）
全文： 内政部
约瑟夫·利弗西;多米尼克·沃伊特扎克

命题协议中的最小调用数。 （英语） Zbl 07670977号

Bell，Paul C.（编辑）等人，《可达性问题》。第15届国际会议，RP 2021，英国利物浦，2021年10月25-27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13035, 132-148 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Livesey}和\textit{D.Wojtczak}，莱克特。注释计算。科学。13035、132--148（2021；Zbl 07670977）
全文： 内政部
克莱尔·狄克逊

用子句分解法证明定理：从过去到现在。 （英语） Zbl 07670970号

Bell，Paul C.（编辑）等人，《可达性问题》。第15届国际会议，RP 2021，英国利物浦，2021年10月25-27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13035, 19-27 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{C.Dixon}，莱克特。注释计算。科学。13035、19-27（2021；Zbl 07670970）
全文： 内政部
G.库尔蒂斯。;狄克逊，C。;M·费希尔。;A.利西萨。

通过一阶时序逻辑对先导/跟随系统进行参数化验证。 （英语） Zbl 1492.68087号

形式方法系统。设计。 58，第3号，440-468（2021）; 更正同上，第60号，第325-326（2022）。
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Kourtis}等人，《形式方法系统》。设计。58，第3号，440-468（2021；Zbl 1492.68087）
全文： 内政部
卡雷尔·奇瓦洛夫斯克;Jakubův，简;米罗斯拉夫·奥沙克;约瑟夫·乌尔班

学习定理证明组件。 （英语） Zbl 07532521号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 266-278 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{K.Chvalovsk}等人，Lect。注释计算。科学。12842、266--278（2021；Zbl 07532521）
全文： 内政部 arXiv公司
迈克尔·劳森;贾尔斯·里格尔

在模型消除过程中消除模型。 （英语） Zbl 07532520号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 250-265 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Rawson}和\textit{G.Reger}，莱克特。注释计算。科学。128422250-265（2021年；兹bl 07532520）
全文： 内政部
延斯·奥滕

这个纳米CoP 2.0经典逻辑、直觉逻辑和模态逻辑的连接证明程序。 （英语） Zbl 07532519号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 236-249 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Otten}，莱克特。注释计算。科学。12842，236--249（2021；Zbl 07532519）
全文： 内政部
佐姆博里（Zsolt Zombori）;约瑟夫·乌尔班;米罗斯拉夫·奥沙克

熵在指导连接证明程序中的作用。 （英语） Zbl 07532518号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 218-235 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit｛Z.Zombori｝等人，Lect。注释计算。科学。12842、218--235（2021；Zbl 07532518）
全文： 内政部 arXiv公司 链接
安德烈·杜阿尔特;康斯坦丁·科洛文

叠加演算中的AC简化和闭包冗余。 （英语） Zbl 07532517号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842200-217（2021年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Duarte}和\textit{K.Korovin}，莱克特。注释计算。科学。12842，200-217（2021；Zbl 07532517）
全文： 内政部 arXiv公司
迈克尔·劳森;贾尔斯·里格尔

惰性CoP：惰性副调制符合神经引导搜索。 （英语） Zbl 07532516号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 187-199 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Rawson}和\textit{G.Reger}，莱克特。注释计算。科学。12842、187--199（2021；Zbl 07532516）
全文： 内政部
马克·内维尔（Marc Neveling）;约尔格·罗特;罗宾·魏肖普特

重新讨论了权重不确定的可能赢家问题。 （英语） Zbl 1529.91037号

Bampis，Evripidis（编辑）等人，《计算理论基础》。第23届国际研讨会，FCT 2021，希腊雅典，2021年9月12-15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12867，399-412（2021）。
MSC公司：91B14号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Neveling}等人，Lect。注释计算。科学。12867399--412（2021年；Zbl 1529.91037）
全文： 内政部
约瑟夫·利弗西;多米尼克·沃伊特扎克

提议的八卦协议。 （英语） Zbl 07530245号

Bampis，Evripidis（编辑）等人，《计算理论基础》。第23届国际研讨会，FCT 2021，希腊雅典，2021年9月12-15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12867, 354-370 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Livesey}和\textit{D.Wojtczak}，莱克特。注释计算。科学。12867、354--370（2021；Zbl 07530245）
全文： 内政部
查拉图斯特拉·戈泽尔。;卡雷尔·奇瓦洛夫斯克;Jakubův，简;米罗斯拉夫·奥沙克;约瑟夫·乌尔班

快和慢的谜团和家长指导。 （英语） Zbl 07497922号

Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941173-191（2021年）。
MSC公司：68泰克
PDF格式BibTeX公司 XML格式引用
\textit{Z.A.Goertzel}等人，Lect。注释计算。科学。12941、173--191（2021；Zbl 07497922）
全文： 内政部 arXiv公司
马丁·布隆伯格;伊琳娜·德拉古斯特;拉沙·法奎;克里斯托夫·费泽尔;马库斯·科洛奇;克里斯托夫·韦登巴赫

监督员验证条件模简单线性算法的数据记录锤。 （英语） 兹伯利07497913

Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941, 3-24 (2021).
MSC公司：68泰克
PDF格式BibTeX公司 XML格式引用
\textit{M.Bromberger}等人，Lect。注释计算。科学。12941，3--24（2021；Zbl 07497913）
全文： 内政部 arXiv公司
阿列克谢·伊格纳提耶夫;若昂·西尔瓦侯爵

基于SAT的决策列表的严格解释。 （英语） Zbl 07495578号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 251-269 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Ignatiev}和\textit{J.Marques-Silva}，莱克特。注释计算。科学。12831251--269（2021；Zbl 07495578）
全文： 内政部 arXiv公司
阿德里安·德隆;彼得·科普克;安东·洛伦岑;阿德里安·马蒂;马塞尔·舒茨;马卡里乌斯·温泽尔

Isabelle/Naproche自然语言证明助理。 （英语） Zbl 07437104号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 614-624 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.De Lon}等人，Lect。注释计算。科学。12699、614--624（2021；Zbl 07437104）
全文： 内政部
尼古拉斯·斯莫尔博内

Twee：方程定理证明器。 （英语） Zbl 07437103号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 602-613 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{N.Smallbone}，莱克特。注释计算。科学。12699、602--613（2021；Zbl 07437103）
全文： 内政部
汉斯·约尔·舒尔;马蒂亚斯·弗勒里;马丁·德沙奈斯

证明助手中细粒度证明的可靠重构。 （英语） Zbl 07437094号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 450-467 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{H.-J.Schurr}等人，Lect。注释计算。科学。12699、450-467（2021；Zbl 07437094）
全文： 内政部
Randal E.布莱恩特。;Heule，Marijn J.H。

使用基于BDD的求解器生成量化布尔公式的双重证明。 （英语） Zbl 07437093号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699433-449（2021）。
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.E.Bryant}和\textit{M.J.H.Heule}，莱克特。注释计算。科学。12699、433--449（2021；Zbl 07437093）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件