×

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

最新的 引文 关联
亨德里克·莱丁格;克里斯托夫·韦登巴赫

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公司
马丁·布罗姆伯格;Irina德拉戈斯特;Faqeh，拉沙;克里斯托夫·费泽尔;Krötzsch，马库斯;克里斯托夫·韦登巴赫

监督员验证条件模简单线性算法的数据记录锤。 （英语） Zbl 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公司
马丁·布罗姆伯格;阿尔贝托·菲奥里;克里斯托夫·韦登巴赫

通过理论上的简单子句学习确定有界差分约束上的Bernays-Schoenfinkel片段。 （英语） Zbl 1472.03024号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 511-533 (2021).
MSC公司：03B70号 03B25号 68问题32
PDF格式BibTeX公司 XML格式引用
\textit{M.Bromberger}等人，Lect。注释计算。科学。12597、511--533（2021；Zbl 1472.03024）
全文： 内政部
阿尔贝托·菲奥里;克里斯托夫·韦登巴赫

从简单模型学习SCL小句。 （英语） Zbl 07178979号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716233-249（2019年）。
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Fiori}和\textit{C.Weidenbach}，莱克特。注释计算。科学。11716、233-249（2019；Zbl 07178979）
全文： 内政部 哈尔
马丁·布罗姆伯格;马蒂亚斯·弗勒里;西蒙·施瓦兹;克里斯托夫·韦登巴赫

SPASS-SATT公司。CDCL（LA）解算器。 （英语） Zbl 07178972号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 111-122 (2019).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Bromberger}等人，Lect。注释计算。科学。11716、111-122（2019；Zbl 07178972）
全文： 内政部
贾斯敏·克里斯蒂安·布兰切特;马蒂亚斯·弗勒里;克里斯托夫·韦登巴赫

一个经过验证的SAT求解器框架，具有学习、遗忘、重启和增量功能。 （英语） Zbl 1475.68432号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 25-44 (2016).
MSC公司：68伏15 68T05型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛J.C.Blanchette｝等人，Lect。注释计算。科学。9706，25-44（2016；Zbl 1475.68432）
全文： 内政部 哈尔
安德烈亚斯·图克;克里斯托夫·韦登巴赫

通过近似和实例化来证明一阶逻辑定理和建立模型。 （英语） Zbl 1471.03020号

Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，Wrocław，波兰，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 85-100 (2015).
MSC公司：03B35型 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{A.Teucke}和\textit{C.Weidenbach}，莱克特。注释计算。科学。9322，85-100（2015；Zbl 1471.03020）
全文： 内政部 arXiv公司 链接
加博尔·阿拉吉;克里斯托夫·韦登巴赫

NRCL–Bernays-Schönfinkel碎片的建模方法。 （英语） Zbl 1471.03013号

Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，Wrocław，波兰，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 69-84 (2015).
MSC公司：03B35型 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{G.Alagi}和\textit{C.Weidenbach}，莱克特。注释计算。科学。9322，69-84（2015；Zbl 1471.03013）
全文： 内政部 arXiv公司 链接
马丁·布罗姆伯格;托马斯·斯特姆;克里斯托夫·韦登巴赫

重新访问线性整数算法。 （英语） Zbl 1432.68596号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 623-637 (2015).
MSC公司：68瓦30 第68季度第60季度 68兰特 68伏15 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Bromberger}等人，Lect。注释计算。科学。9195、623--637（2015年；Zbl 1432.68596）
全文： 内政部 arXiv公司
克里斯托夫·韦登巴赫

自动推理构建块。 （英语） Zbl 1444.68289号

Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9360, 172-188 (2015).
MSC公司：68伏15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{C.Weidenbach}，莱克特。注释计算。科学。9360、172--188（2015年；Zbl 1444.68289）
全文： 内政部
迪帕克·卡普尔;罗伯特·纽文胡斯;安德烈·沃龙科夫;克里斯托夫·韦登巴赫;莱因哈德·威廉

Harald Ganzinger的遗产：对逻辑和编程的贡献。 （英语） Zbl 1383.68003号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，1-18（2013）。
MSC公司：68-03 01A70号 03B70号 68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛D.Kapur｝等人，Lect。注释计算。科学。7797，1-18（2013；Zbl 1383.68003）
全文： 内政部
托马斯·希伦布兰德;克里斯托夫·韦登巴赫

有界域的叠加。 （英语） Zbl 1383.03018号

Bonacina，Maria Paola（编辑）等人，《自动推理和数学》。纪念威廉·W·麦库恩的散文。柏林：施普林格出版社（ISBN 978-3-642-36674-1/pbk）。计算机科学课堂讲稿7788。《人工智能课堂讲稿》，68-100（2013）。
MSC公司：03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{T.Hillenbrand}和\textit{C.Weidenbach}，莱克特。注释计算。科学。7788，68-100（2013年；兹bl 1383.03018）
全文： 内政部
安德烈亚斯·艾格斯;叶夫根·克鲁格洛夫;斯特凡·库普弗施米德;卡斯滕·谢布勒;蒂诺·特伊格;克里斯托夫·韦登巴赫

叠加模非线性算法。 （英语） Zbl 1348.68218号

Tinelli，Cesare（编辑）等人，《联合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。人工智能课堂讲稿，119-134（2011）。
MSC公司：68吨15 03B62号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Eggers}等人，Lect。注释计算。科学。6989、119--134（2011；Zbl 1348.68218）
全文： 内政部
马提亚斯·霍巴赫;克里斯托夫·韦登巴赫

基于饱和度的模型构建的可判定性结果。 （英语） Zbl 1250.03014号

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，404-420（2009）。
MSC公司：03B25号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{M.Horbach}和\textit{C.Weidenbach}，莱克特。注释计算。科学。5663、404--420（2009年；Zbl 1250.03014）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件