×

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

最新的 引文 关联
马里奥·阿尔维亚诺;卡明·多达罗;佛罗伦萨，萨尔瓦多;亚历山德罗·普雷维蒂;弗朗西斯科·里卡

WASP中最小模型和MUS的枚举。 （英语） 兹伯利07671876

Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13416, 29-42 (2022).
MSC公司：68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Alviano}等人，Lect。注释计算。科学。13416，29-42（2022；Zbl 07671876）
全文： 内政部
雅罗斯拉夫·本迪克;Kuldeep S.梅尔。

计算最小不可满足子集。 （英语） Zbl 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｝，Lect。注释计算。科学。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公司
雅罗斯拉夫·本迪克;艾哈迈德·森坎;艾布鲁·艾丁（Ebru Aydin Gol）;伊万娜·乔纳

可到达性的时间自动机松弛。 （英语） Zbl 1467.68079号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 291-310 (2021).
MSC公司：65年第68季度 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Bendík}等人，Lect。注释计算。科学。12651、291--310（2021年；Zbl 1467.68079）
全文： 内政部
埃林·比约克，巴瓦尔斯多蒂尔;斯梅特（Smet，Pieter）;Vanden Berghe，问候;托马斯·斯坦森。

通过使用自动估计的接受阈值，实现护士排班中的折衷解决方案。 （英语） Zbl 1487.90272号

欧洲药典。物件。 292，第3号，980-995（2021）.
MSC公司：90B35型 90C29型
PDF格式BibTeX公司 XML格式引用
\textit{E.B.Böðvarsdóttir}等人，《欧洲期刊》Oper。第292号决议，第3号，980--995（2021；Zbl 1487.90272）
全文： 内政部 链接
刘少凡;罗杰

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 1484.91174号

Lang，Jéróme（编辑），《第十六届理性与知识理论方面会议论文集》，TARK 2017，英国利物浦，2017年7月24-26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）251455-469（2017）。
MSC公司：91B14号机组 91B12号机组
PDF格式BibTeX公司 XML格式引用
\textit{D.Peters}，电子。程序。西奥。计算。科学。（EPTCS）251455--469（2017；Zbl 1484.91174）
全文： arXiv公司 链接
利奥，凯文;塔克，吉多

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

Salvagnin，Domenico（编辑）等人，《人工智能和OR技术在约束编程中的集成》。2017年6月5日至8日在意大利帕多瓦举行的2017年CPAIOR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10335, 77-93 (2017).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{K.Leo}和\textit{G.Tack}，Lect。注释计算。科学。10335，77-93（2017；Zbl 1489.68254）
全文： 内政部
Lisa Hutschenreiter;拉斐尔·佩尼亚洛萨

目标导向方法的自动机视图。 （英语） Zbl 1485.68144号

Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10168, 103-114 (2017).
MSC公司：65年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛L.Hutschenreiter｝和\textit｛R.Peñaloza｝，Lect。注释计算。科学。10168，103--114（2017；Zbl 1485.68144）
全文： 内政部 链接
雅罗斯拉夫·本迪克;尼古拉·贝内什;JiříBarnat;伊万娜·乔纳

在有序集合中寻找边界元素，并应用于安全和需求分析。 （英语） 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）
全文： 内政部
Arif，M.Fareed先生;卡洛斯·门西娅;若昂·西尔瓦侯爵

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 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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件