×

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

最新的 引文 关联
斯蒂芬·科切马佐夫；阿列克谢·伊格纳提耶夫；若昂·西尔瓦侯爵

通过增量SAT镜头评估SAT求解器的进展。 （英语） Zbl 07495580号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12831, 280-298 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Kochemazov}等人，Lect。票据计算。科学。12831280-298（2021；Zbl 07495580）
全文： 内政部
阿列克谢·伊格纳提耶夫；若昂·西尔瓦侯爵

基于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公司
玛丽亚·路易莎·博内；萨姆·巴斯；阿列克谢·伊格纳提耶夫；安东尼奥·莫尔加多；若昂·西尔瓦侯爵

基于最大可满足性的命题证明系统。 （英语） Zbl 1520.68103号

Artif公司。智力。 300，文章ID 103552，39 p.（2021）.
MSC公司：68兰特 20层03 65年第68季度 68T20型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.L.Bonet}等人，Artif。智力。300，文章ID 103552，39 p.（2021；Zbl 1520.68103）
全文： 内政部
卡洛斯·门西娅；若昂·西尔瓦侯爵

推理ASP中的强不一致性。 （英语） Zbl 07331031号

Pulina，Luca（编辑）等人，《可满足性测试的理论和应用——SAT 2020》。第23届国际会议，意大利阿尔盖罗，2020年7月3日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12178, 332-342 (2020).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Mencía}和\textit{J.Marques-Silva}，莱克特。票据计算。科学。12178，332--342（2020；Zbl 07331031）
全文： 内政部
安东尼奥·莫尔加多；阿列克谢·伊格纳提耶夫；玛丽亚·路易莎·博内；若昂·西尔瓦侯爵；萨姆·巴斯

带有MaxHS的DRMaxSAT：第一个联系人。 （英语） Zbl 1441.68232号

Janota，Mikoláš（编辑）等人，《可满足性测试的理论和应用——SAT 2019》。2019年7月9日至12日，第22届国际会议，SAT 2019，葡萄牙里斯本。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11628, 239-249 (2019).
MSC公司：68T20型 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.Morgado}等人，Lect。票据计算。科学。11628239-249（2019年；兹比尔1441.68232）
全文： 内政部
卡洛斯·门西娅；奥利弗·库尔曼；阿列克谢·伊格纳提耶夫；若昂·西尔瓦侯爵

关于MUS的并集计算。 （英语） Zbl 1441.68230号

Janota，Mikoláš（编辑）等人，《可满足性测试的理论和应用——SAT 2019》。2019年7月9日至12日，第22届国际会议，SAT 2019，葡萄牙里斯本。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11628, 211-221 (2019).
MSC公司：68T20型 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{C.Mencía}等人，Lect。票据计算。科学。11628、211-221（2019；Zbl 1441.68230）
全文： 内政部 链接
伊利亚·扎基尔扎诺夫；安东尼奥·莫尔加多；阿列克谢·伊格纳提耶夫；弗拉基米尔·乌利扬采夫；若昂·西尔瓦侯爵

基于SAT的最小DFA推理的有效对称破缺。 （英语） Zbl 1425.68240号

Martín-Vide，Carlos（编辑）等人，《语言和自动机理论与应用》。2019年3月26日至29日在俄罗斯圣彼得堡举行的第13届LATA国际会议，会议记录。查姆：斯普林格。莱克特。票据计算。科学。11417, 159-173 (2019).
MSC公司：65年第68季度 68问题32 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{I.Zakirzyanov}等人，Lect。票据计算。科学。11417159–173（2019年；兹比尔1425.68240）
全文： 内政部
亚历山德罗·普雷维蒂；卡洛斯·门西娅；Järvisalo，马蒂；若昂·西尔瓦侯爵

通过缓存改进MCS枚举。 （英语） Zbl 1496.68258号

Gaspers，Serge（编辑）等人，《满意度测试的理论和应用——2017年SAT》。第20届国际会议，澳大利亚维多利亚州墨尔本，2017年8月28日至9月1日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10491, 184-194 (2017).
MSC公司：68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Previti}等人，Lect。票据计算。科学。10491、184--194（2017年；Zbl 1496.68258）
全文： 内政部 链接
阿列克谢·伊格纳提耶夫；安东尼奥·莫尔加多；若昂·西尔瓦侯爵

关于解决SAT解决中分辨率的限制。 （英语） Zbl 1496.68368号

Gaspers，Serge（编辑）等人，《满意度测试的理论和应用——2017年SAT》。第20届国际会议，澳大利亚维多利亚州墨尔本，2017年8月28日至9月1日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10491, 164-183 (2017).
MSC公司：68伏15 03B35型 20层03 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.Ignatiev}等人，Lect。票据计算。科学。10491164-183（2017年；兹bl 1496.68368）
全文： 内政部 arXiv公司
卡洛斯·门西娅；阿列克谢·伊格纳提耶夫；亚历山德罗·普雷维蒂；若昂·西尔瓦侯爵

使用次线性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）
全文： 内政部
阿里夫·M·法里德；卡洛斯·门西娅；若昂·西尔瓦侯爵

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

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

基于SAT的模型检测中的插值学习和重用。 （英语） Zbl 1277.68140号

Strichman，Ofer（编辑）等人，《第四届有界模型检验国际研讨会论文集》（BMC 2006），西雅图，华盛顿州，美国，2006年8月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第3期，31-43（2007）。
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Marques-Silva}，电子。注释Theor。计算。科学。174，第3号，31-43（2007；Zbl 1277.68140）
全文： 内政部
林奇，因斯；巴普蒂斯塔，路易斯；佐奥·西尔瓦侯爵

可满足性的随机系统搜索算法。 （英语） Zbl 0990.90554号

Kautz，Henry（编辑）等，2001年LICS满意度测试理论与应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。阿姆斯特丹：Elsevier，Electron。注释离散数学。9，无页码。，仅电子版（2001）。
MSC公司：90C27型 90B40码
PDF格式BibTeX公司 XML格式引用
\textit{I.Lynce}等人，Electron。注释离散数学。9，无页码。（2001年；Zbl 0990.90554）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件