×

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

最新的 引文 关联
亚历山德罗·阿巴特；哈尼尔·巴博萨；克拉克·巴雷特；克里斯蒂娜·大卫；帕斯卡·凯塞利；丹尼尔·克罗宁；伊丽莎白·波尔格林；安德鲁·雷诺兹；塞萨尔·蒂内利

用非平凡常数合成程序。 （英语） 兹伯利07702725

J.汽车。推理 67，第2号，第19号论文，第25页（2023年）.
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}等人，J.Autom。推理67，第2号，第19号论文，第25页（2023；Zbl 07702725）
全文： 内政部
mnesc博士，Isabela；艾丽卡·阿尔布拉汉姆；都铎Jebelean；加博尔·库斯珀；斯特拉图拉特，索林

在课堂上进行自动推理实验。 （英语） Zbl 07691306号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13467, 287-304 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{I.Drámnesc}等人，Lect。注释计算。科学。13467，287--304（2022；Zbl 07691306）
全文： 内政部 哈尔
Anthony W·林。；菲利普·吕默

重新检查定期模型。 （英语） Zbl 1522.68332号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 97-114 (2022).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.W.Lin}和\textit{P.吕默}，莱克特。注释计算。科学。13030，97-114（2022；Zbl 1522.68332）
全文： 内政部 arXiv公司
查里斯·埃利夫特里亚迪斯；尼古拉斯·凯卡托斯；Katsaros，Panagiotis公司；斯塔夫罗斯·特里帕基斯

使用SMT求解器进行神经网络等价性检查。 （英语） Zbl 07643438号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。2022年9月13日至15日，第20届国际会议，FORMATS 2022，波兰华沙。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 237-257 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{C.Eleftheriadis}等人，Lect。注释计算。科学。13465，237--257（2022；Zbl 07643438）
全文： 内政部 arXiv公司
朱利安·布莱恩；劳雷·贡诺德；戴维·莫尼奥

数据抽象：处理数据结构的程序验证的通用框架。 （英语） Zbl 1497.68108号

Drágoi，Cezara（编辑）等人，《静态分析》。第28届国际研讨会，SAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12913215-235（2021年）。
MSC公司：68号30 68第05页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Braine}等人，Lect。注释计算。科学。12913、215——235（2021年；Zbl 1497.68108）
全文： 内政部 哈尔
马凯·曼；克拉克·巴雷特

同步硬件中深层缺陷查找的部分降阶。 （英语） Zbl 1507.68194号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 367-386 (2020).
MSC公司：60年第68季度 2007年7月68日
PDF格式BibTeX公司 XML格式引用
\textit{M.Mann}和\textit{C.Barrett}，莱克特。注释计算。科学。12078，367--386（2020；Zbl 1507.68194）
全文： 内政部
安迪·波利亚科夫；蔡明勋；王，弯腰；杨伯寅

验证加密原语中的算术汇编程序（受邀演讲）。 （英语） Zbl 1520.68078号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第4条，第16页（2018年）。
MSC公司：60年第68季度 11T71型 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{A.Polyakov}等人，LIPIcs——莱布尼茨国际程序。通知。118，第4条，第16页（2018；Zbl 1520.68078）
全文： 内政部
伊凡·鲁奇金；阳光，约书亚；格兰特·伊拉西；施梅尔·布拉德利；大卫·加兰

IPL：用于多模型网络物理系统的集成属性语言。 （英语） Zbl 1460.68065号

Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951165-184（2018年）。
MSC公司：60年第68季度 68T40型
PDF格式BibTeX公司 XML格式引用
\textit{I.Ruchkin}等人，Lect。注释计算。科学。10951，165--184（2018；Zbl 1460.68065）
全文： 内政部
扎卡里亚·奇哈尼；布鲁诺·玛丽；弗朗索瓦·博博特；塞巴斯蒂安·巴丁

位向量理论的锐化约束规划方法。 （英语） Zbl 1489.68249号

Salvagnin，Domenico（编辑）等人，《人工智能和OR技术在约束编程中的集成》。2017年6月5日至8日在意大利帕多瓦举行的2017年CPAIOR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10335, 3-20 (2017).
MSC公司：68T20型 60年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Z.Chihani}等人，Lect。注释计算。科学。10335，3--20（2017；Zbl 1489.68249）
全文： 内政部 链接
查克拉波蒂，苏普拉特克；苏拉布·卡西达什维利；Carl-Johan H.塞格。；拉杰库马尔·加贾维利；坦马·霍丹卡尔；查塔尼·迪内什；Mistry，拉凯什

单词级验证的符号轨迹评估：理论与实现。 （英语） Zbl 1360.68582号

形式方法系统。设计。 50，编号2-3，317-352（2017）.
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Chakraborty}等人，《形式方法系统》。设计。50，编号2--3，317--352（2017；Zbl 1360.68582）
全文： 内政部
查克拉波蒂，苏普拉特克；阿什图什·古普塔；拉胡尔·贾恩

位向量公式中的匹配乘法。 （英语） Zbl 1484.68098号

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 131-150 (2017).
MSC公司：60年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Chakraborty}等人，Lect。注释计算。科学。10145131-150（2017；Zbl 1484.68098）
全文： 内政部 arXiv公司
Mandrykin，M.U。；Khoroshilov，A.V.公司。

C程序演绎验证的区域分析。 （英语。俄文原件） Zbl 1452.68051号

程序。计算。柔和。 42，第5期，257-278（2016）; 译自Programmirovanie 42，No.5，3-29（2016）。
MSC公司：68号30 68甲15 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.U.Mandrykin｝和\textit｛A.V.Khoroshilov｝，程序。计算。柔和。42，第5号，257--278（2016；Zbl 1452.68051）；译自Programmirovanie 42，No.5，3--29（2016）
全文： 内政部
艾丽卡·阿尔布拉汉姆；基里恩·克莱默

可满足性检查：理论与应用。 （英语） Zbl 1390.68569号

De Nicola，Rocco（编辑）等人，《软件工程和形式化方法》。2016年7月4日至8日，作为2016年STAF的一部分，在奥地利维也纳举行了2016年SEFM第14届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-41590-1/pbk；978-3-316-41591-8/电子书）。《计算机科学讲义》9763，9-23（2016）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}和\textit{G.Kremer}，莱克特。注释计算。科学。9763，9--23（2016；Zbl 1390.68569）
全文： 内政部
戴维·莫尼奥

可满足性模理论综述。 （英语） Zbl 1453.68116号

Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9890, 401-425 (2016).
MSC公司：68兰特 03B70号 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{D.Monniaux}，莱克特。注释计算。科学。9890401-425（2016；Zbl 1453.68116）
全文： 内政部 arXiv公司
斯蒂芬·斯基里克；何塞·梅塞盖尔

变量可满足性的元级算法。 （英语） Zbl 1367.68256号

Lucanu，Dorel（编辑），重写逻辑及其应用。第11届国际研讨会，WRLA 2016，作为ETAPS的卫星活动，于2016年4月2日至3日在荷兰埃因霍温举行。修改选定的论文。商会：施普林格出版社（ISBN 978-3-319-44801-5/pbk；978-3-319-44802-2/ebook）。《计算机科学讲义》9942167-184（2016）。
MSC公司：68吨15 18立方厘米 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Skeirik}和\textit{J.Meseguer}，莱克特。注释计算。科学。9942，167--184（2016；Zbl 1367.68256）
全文： 内政部 链接
罗伯托·塞巴斯蒂亚尼

色彩使理论变得困难。 （英语） Zbl 1475.68451号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 152-170 (2016).
MSC公司：68伏15 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Sebastiani}，莱克特。注释计算。科学。9706152--170（2016；Zbl 1475.68451）
全文： 内政部 链接
艾丽卡·阿尔布拉汉姆；约翰·阿伯特；贝恩德·贝克尔；安娜·比加蒂（Anna M.Bigatti）。；布莱恩，马丁；布赫伯格，布鲁诺；亚历山德罗·西马蒂；詹姆斯·H·达文波特。；英格兰，马修；帕斯卡·方丹；史蒂芬·福雷斯特；阿尔贝托·格里乔；丹尼尔·克罗宁；Werner M.塞勒。；托马斯·斯特姆

联合国安全理事会\（^2）：可满足性检查满足符号计算。（项目文件）。 （英语） 兹比尔1344.68198

Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。人工智能课堂讲稿，28-43（2016）。
MSC公司：68吨15 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}等人，Lect。注释计算。科学。9791，28-43（2016；Zbl 1344.68198）
全文： 内政部 arXiv公司
纪尧姆·伯里；大卫·德拉哈耶

单纯形与表格集成。 （英语） Zbl 1471.68304号

De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323，86-101（2015）。
MSC公司：68伏15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{G.Bury}和\textit{D.Delahaye}，Lect。注释计算。科学。9323，86-101（2015；Zbl 1471.68304）
全文： 内政部 链接
亚历山大·伊夫里；瓦迪姆·雷夫钦；斯特里赫曼（Ofer Strichman）

在增量SAT中挖掘主干文本。一种新的增量数据。 （英语） Zbl 1471.68247号

Heule，Marijn（编辑）等人，《满意度测试的理论和应用——SAT 2015》。第18届国际会议，美国德克萨斯州奥斯汀，2015年9月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9340, 88-103 (2015).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Ivrii}等人，Lect。注释计算。科学。9340，88-103（2015年；兹比尔1471.68247）
全文： 内政部
斯特里赫曼（Ofer Strichman）（编辑）；丹尼尔·克罗宁（编辑）

专题“SI：可满足性模理论”前言。 （英语） Zbl 1284.68035号

形式方法系统。设计。 42，第1期，第1-2期（2013年）.
MSC公司：68-06 03B70号 68T20型 68吨15 60年第68季度 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{O.Strichman}（编辑）和\textit{D.Kroening}（主编），《形式方法系统》。设计。42，编号1，1--2（2013；Zbl 1284.68035）
全文： 内政部
斯坦·罗森博格；安妮迪亚·班纳吉；戴维·诺曼（David A.Naumann）。

区域逻辑的决策程序。 （英语） Zbl 1326.68264号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148379-395（2012）。
MSC公司：68吨15 03B70号 03B35型 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Rosenberg}等人，Lect。注释计算。科学。7148379--395（2012年；Zbl 1326.68264）
全文： 内政部
Böhme，萨沙；Anthony C.J.福克斯。；托马斯·苏厄尔；Tjark韦伯

在HOL4和Isabelle/HOL中重建Z3的位向量证明。 （英语） Zbl 1350.68225号

Jouannaud，Jean-Pierre（编辑）等人，《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，183-198（2011）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Böhme}等人，Lect。注释计算。科学。7086、183--198（2011；Zbl 1350.68225）
全文： 内政部
弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆

SMT求解的虚拟替代。 （英语） Zbl 1342.68282号

Owe，Olaf（编辑）等人，《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22952-7/pbk）。计算机科学课堂讲稿6914，360-371（2011）。
MSC公司：68吨15 03B20型 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{F.Corzilius}和\textit{E.ábrahám}，莱克特。注释计算。科学。6914，360-371（2011；Zbl 1342.68282）
全文： 内政部
戴维·莫尼奥；皮埃尔·科尔比诺

论堕落案件中积极证人的产生。 （英语） Zbl 1342.68296号

Van Eekelen，Marko（编辑）等，交互式定理证明。2011年8月22日至25日，荷兰卑尔根达尔，第二届国际会议，ITP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22862-9/pbk）。计算机科学课堂讲稿6898，249-264（2011）。
MSC公司：68吨15 03C10号机组 2015年12月
PDF格式BibTeX公司 XML格式引用
\textit{D.Monniaux}和\textit{P.Corbineau}，莱克特。注释计算。科学。6898、249--264（2011；Zbl 1342.68296）
全文： 内政部 arXiv公司
容伯姆·荣格；Lee，Wonchan先生；王，弯腰；Yi，Kwangkuen先生

基于学习的无量词循环不变量推理的谓词生成。 （英语） 兹比尔1315.68097

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605205-219（2011）。
MSC公司：68号30 68N25号 68问题32
PDF格式BibTeX公司 XML格式引用
\textit{Y.Jung}等人，Lect。注释计算。科学。6605205-219（2011；Zbl 1315.68097）
全文： 内政部 arXiv公司
Jörg Brauer；安迪·金

无量词消除的传递函数综合。 （英语） Zbl 1326.68080号

Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，在德国萨尔布吕肯举行的第20届欧洲编程研讨会（ESOP 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记660297-115（2011）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Brauer}和\textit{A.King}，莱克特。注释计算。科学。660297-115（2011年；Zbl 1326.68080）
全文： 内政部 arXiv公司
埃德·巴雷特；安迪·金

使用SAT进行范围和集合抽象。 （英语） Zbl 1342.68067号

Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，17-27（2010）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{E.Barrett}和\textit{A.King}，电子。注释Theor。计算。科学。267，编号1，17--27（2010；Zbl 1342.68067）
全文： 内政部
安吉洛·布里洛特；何楠楠；米歇尔，马祖奇；丹尼尔·克罗宁；米特拉·普兰达尔；菲利普·吕默；乔治·威森巴赫

Simulink模型基于变异的测试用例生成。 （英语） Zbl 1312.68130号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286208-227（2010）。
MSC公司：60年第68季度 68N99型
PDF格式BibTeX公司 XML格式引用
\textit{A.Brillout}等人，Lect。注释计算。科学。6286208--227（2010年；Zbl 1312.68130）
全文： 内政部
马，菲菲；刘盛；张健

线性算术约束布尔组合的体积计算。 （英语） Zbl 1250.68237号

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

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件