×

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

最新的 引文 关联
阿列克谢·伊格纳提耶夫;若昂·西尔瓦侯爵

基于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公司
若昂·西尔瓦侯爵;阿列克谢·伊格纳提耶夫;卡洛斯·门西娅;拉斐尔·佩尼亚洛萨

不一致Horn公式的有效推理。 （英语） Zbl 1483.68381号

Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，2016年JELIA，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 336-352 (2016).
MSC公司：第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{J.Marques-Silva}等人，莱克特。注释计算。科学。10021、336--352（2016；Zbl 1483.68381）
全文： 内政部
阿里夫·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提取。 （英语） 兹比尔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兰特 第68页第27页 68立方英尺 92 C50
PDF格式BibTeX公司 XML格式引用
\textit{M.F.Arif}等人，Lect。注释计算。科学。9340224-342（2015年；兹比尔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）
全文： 内政部
赛义德·贾布尔;若昂·西尔瓦侯爵;拉赫达尔·赛斯;雅库布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）
全文： 内政部
若昂·西尔瓦侯爵;林奇、伊内斯

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

Sakallah，Karem A.（编辑）等人，《可满足性测试的理论和应用——2011年SAT》。2011年6月19日至22日，美国密歇根州安娜堡，第14届国际会议，SAT 2011。诉讼程序。柏林：施普林格出版社（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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件