×

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

最新的 引文 关联
雅罗斯拉夫·本迪克;Kuldeep S.梅尔。

计算最小不可满足子集。 （英语） 兹比尔1493.68259

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 313-336 (2021).
MSC公司：68兰特 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Bendík}和\textit{k.S.Meel}，莱克特。注释计算。科学。12760313--336（2021年；Zbl 1493.68259）
全文： 内政部
阿列克谢·伊格纳提耶夫;若昂·西尔瓦侯爵

基于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公司
张建民;李铁军;马可凡

通过最小化不可满足的核心提取来加速谓词抽象。 （英语） 兹比尔1481.68032

何坤（编辑）等，《理论计算机科学》。2020年11月13日至15日，中国南宁，NCTCS 2020第38届全国会议。修订了选定的论文。新加坡：斯普林格。Commun公司。计算。信息科学。1352, 3-13 (2021).
MSC公司：60年第68季度 03B70号 2007年7月68日
PDF格式BibTeX公司 XML格式引用
\textit{J.Zhang}等人，Commun。计算。信息科学。1352年3月13日（2021年；Zbl 1481.68032）
全文： 内政部
克劳迪奥·蒙吉;亚历山德罗·玛丽亚·里齐;安娜·伯纳斯科尼

将拓扑证明与模型检查集成到仪器迭代设计中。 （英语） Zbl 1507.68195号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12076, 53-74 (2020).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Menghi}等人，Lect。注释计算。科学。12076，53-74（2020；Zbl 1507.68195）
全文： 内政部 arXiv公司
刘少凡;罗杰

FMUS2：计算最小不可满足子集的有效算法。 （英语） Zbl 1515.68292号

Fleuriot，Jacques（编辑）等人，《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11110, 104-118 (2018).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Liu}和\textit{J.Luo}，Lect。注释计算。科学。11110104-118（2018年；Zbl 1515.68292）
全文： 内政部
利奥，凯文;塔克，吉多

调试不可满足的约束模型。 （英语） Zbl 1489.68254号

Salvagnin，Domenico（编辑）等人，《人工智能和OR技术在约束编程中的集成》。2017年6月5日至8日，第14届国际会议，CPIOR 2017，意大利帕多瓦。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10335，77-93（2017年）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{K.Leo}和\textit{G.Tack}，Lect。注释计算。科学。10335，77-93（2017；Zbl 1489.68254）
全文： 内政部
雅罗斯拉夫·本迪克;尼古拉·贝内什;吉里巴纳特;伊万娜·乔纳

在有序集合中寻找边界元素，并应用于安全和需求分析。 （英语） Zbl 1390.68177号

De Nicola，Rocco（编辑）等人，《软件工程和形式化方法》。2016年7月4日至8日，作为2016年STAF的一部分，在奥地利维也纳举行了2016年SEFM第14届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-41590-1/pbk；978-3-316-41591-8/电子书）。计算机科学课堂讲稿9763121-136（2016）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Bendík}等人，Lect。注释计算。科学。9763、121--136（2016；Zbl 1390.68177）
全文： 内政部
阿里夫·M·法里德;卡洛斯·门西娅;阿列克谢·伊格纳提耶夫;诺伯特·曼恩;拉斐尔·佩尼亚洛萨;若昂·西尔瓦侯爵

BEACON：一个高效的基于SAT的工具，用于调试（\mathcal{EL}^+\）本体。 （英语） Zbl 1475.68368号

Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 521-530 (2016).
MSC公司：68立方英尺 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.F.Arif}等人，Lect。注释计算。科学。9710、521--530（2016年；Zbl 1475.68368）
全文： 内政部
卡洛斯·门西娅;阿列克谢·伊格纳提耶夫;亚历山德罗·普雷维蒂;若昂·西尔瓦侯爵

使用次线性oracle查询进行MCS提取。 （英语） Zbl 1475.68220号

Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 342-360 (2016).
MSC公司：68兰特 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{C.Mencía}等人，Lect。注释计算。科学。9710，342--360（2016；Zbl 1475.68220）
全文： 内政部
克里斯蒂安·齐尔克;迈克尔·考夫曼

部分MUS枚举的一种新方法。 （英语） 兹比尔1471.68176

Heule，Marijn（编辑）等人，《满意度测试的理论和应用——SAT 2015》。第18届国际会议，2015年9月24日至27日，美国德克萨斯州奥斯汀。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9340, 387-404 (2015).
MSC公司：68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Zielke}和\textit{M.考夫曼}，莱克特。注释计算。科学。9340387--404（2015年；Zbl 1471.68176）
全文： 内政部
阿里夫·M·法里德;卡洛斯·门西娅;若昂·西尔瓦侯爵

Horn公式的有效MUS枚举及其公理精确定位应用。 （英语） Zbl 1471.68173号

Heule，Marijn（编辑）等人，《满意度测试的理论和应用——SAT 2015》。第18届国际会议，2015年9月24日至27日，美国德克萨斯州奥斯汀。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9340, 324-342 (2015).
MSC公司：68兰特 第68页第27页 68立方英尺 92 C50
PDF格式BibTeX公司 XML格式引用
\textit{M.F.Arif}等人，Lect。注释计算。科学。9340，324--342（2015；Zbl 1471.68173）
全文： 内政部 arXiv公司
阿列克谢·伊格纳提耶夫;亚历山德罗·普雷维蒂;若昂·西尔瓦侯爵

基于SAT的公式简化。 （英语） Zbl 1471.68245号

Heule，Marijn（编辑）等人，《满意度测试的理论和应用——SAT 2015》。第18届国际会议，2015年9月24日至27日，美国德克萨斯州奥斯汀。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9340, 287-298 (2015).
MSC公司：68T20型 03B05号
PDF格式BibTeX公司 XML格式引用
\textit{A.Ignatiev}等人，Lect。注释计算。科学。9340287--298（2015年；Zbl 1471.68245）
全文： 内政部
弗洛里安·朗辛;埃格利，乌韦

通过子句组求解器API增量计算QBF的最小不可满足核心。 （英语） Zbl 1471.68252号

Heule，Marijn（编辑）等人，《满意度测试的理论和应用——SAT 2015》。第18届国际会议，2015年9月24日至27日，美国德克萨斯州奥斯汀。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。934191-198（2015年）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{F.Lonsing}和\textit{U.Egly}，Lect。注释计算。科学。9340、191--198（2015年；Zbl 1471.68252）
全文： 内政部 arXiv公司
瓦莱里·巴拉巴诺夫;亚历山大·伊夫里

通过预处理和分块加速MUS提取。 （英语） Zbl 1471.68236号

Heule，Marijn（编辑）等人，《满意度测试的理论和应用——SAT 2015》。第18届国际会议，2015年9月24日至27日，美国德克萨斯州奥斯汀。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9340, 17-32 (2015).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛V.Balabanov｝和\textit｛A.Ivrii｝，Lect。注释计算。科学。9340，17-32（2015；Zbl 1471.68236）
全文： 内政部
托拜厄斯·菲利普;彼得·斯坦克

PBLib–将伪布尔约束编码为CNF的库。 （英语） Zbl 1471.68261号

Heule，Marijn（编辑）等人，《满意度测试的理论和应用——SAT 2015》。第18届国际会议，2015年9月24日至27日，美国德克萨斯州奥斯汀。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9340, 9-16 (2015).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{T.Philipp}和\textit{P.Steinke}，莱克特。注释计算。科学。9340，9--16（2015；Zbl 1471.68261）
全文： 内政部
赛义德·贾布尔;若昂·西尔瓦侯爵;拉赫达尔·赛斯;雅库布Salhi

列举联合范式中命题公式的素蕴涵。 （英语） Zbl 1432.68327号

Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8761, 152-165 (2014).
MSC公司：68卢比 03B05号 94C11号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.Jabbour}等人，Lect。注释计算。科学。8761152-165（2014年；兹比尔1432.68327）
全文： 内政部
瓦迪姆·里夫钦;斯特里赫曼（Ofer Strichman）

快速提取高水平最小不可满足岩芯。 （英语） Zbl 1331.68211号

Sakallah，Karem A.（编辑）等人，《可满足性测试的理论和应用——2011年SAT》。2011年6月19-22日在美国密歇根州安阿伯举行的2011年第14届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21580-3/pbk）。计算机科学讲义6695174-187（2011）。
MSC公司：68T20型 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{V.Ryvchin}和\textit{O.Strichman}，Lect。注释计算。科学。6695174-187（2011年；Zbl 1331.68211）
全文： 内政部
若昂·西尔瓦侯爵;林奇、伊内斯

关于改进MUS提取算法。 （英语） Zbl 1330.68273号

Sakallah，Karem A.（编辑）等人，《可满足性测试的理论和应用——2011年SAT》。2011年6月19-22日在美国密歇根州安阿伯举行的2011年第14届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21580-3/pbk）。《计算机科学讲义》6695、159-173（2011）。
MSC公司：68T20型 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{J.Marques-Silva}和\textit{I.Lynce}，莱克特。注释计算。科学。6695159--173（2011年；Zbl 1330.68273）
全文： 内政部
埃里克·格雷戈伊尔;贝特朗·马祖尔;塞德里克馅饼

这组条款是否与至少一个MUS重叠？ （英语） 兹比尔1250.68234

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣款国际会议，2009年8月2日至7日，加拿大蒙特利尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，100-115（2009）。
MSC公司：第68页第15页 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{埃里·格雷戈伊尔}等人，Lect。注释计算。科学。5663100-115（2009年；Zbl 1250.68234）
全文： 内政部
马克·利菲顿（Mark H.Liffiton）。;卡伦·萨卡拉。

推广岩心导向Max-SAT。 （英语） Zbl 1247.68257号

Kullmann，Oliver（编辑），可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日在英国斯旺西举行的2009年第12届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02776-5/pbk）。计算机科学课堂讲稿5584，481-494（2009）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.H.Liffiton}和\textit{K.A.Sakallah}，莱克特。注释计算。科学。5584、481--494（2009年；Zbl 1247.68257）
全文： 内政部
劳伦特·加西亚;恩戈马，Stéphane;帕斯卡·尼古拉斯

通过在ASP中引入特殊性来自动处理异常。 （英语） Zbl 1245.68185号

Sossai，Claudio（编辑）等人，《不确定性推理的符号和定量方法》。第十届欧洲会议，ECSQARU 2009，意大利维罗纳，2009年7月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02905-9/pbk）。计算机科学课堂讲稿5590。人工智能课堂讲稿，614-625（2009）。
MSC公司：第68页第27页 68N17号
PDF格式BibTeX公司 XML格式引用
\textit｛L.Garcia｝等人，Lect。注释计算。科学。5590、614--625（2009年；Zbl 1245.68185）
全文： 内政部
汉斯·范马伦;Siert Wieringa公司

快速找到有保障的MUS。 （英语） Zbl 1138.68555号

Kleine Büning，Hans（编辑）等人，《可满足性测试的理论和应用——SAT 2008》。2008年5月12日至15日，中国广州，2008年SAT第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79718-0/pbk）。计算机科学课堂讲稿4996291-304（2008）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{H.van Maaren}和\textit{S.Wieringa}，莱克特。注释计算。科学。4996291-304（2008年；兹比尔1138.68555）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件