×

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

最新的 引文 关联
皮埃尔·蒙塔尔巴诺；阿洛奇，大卫；西蒙·德·吉夫里；乔治·卡特西雷洛斯；汤姆·沃纳

成本函数网络中的虚拟成对一致性。 （英语） Zbl 07745675号

Andre A.Cire（编辑），《约束编程、人工智能和运筹学的集成》。2023年5月29日至6月1日，第20届国际会议，CPAIOR 2023，法国尼斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13884, 417-426 (2023).
MSC公司：68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用
\textit｛P.Montalbano｝等人，Lect。注释计算。科学。13884、417--426（2023；Zbl 07745675）
全文： 内政部
杰弗里·杜德克。；Vu H.N.Phan。；莫舍·瓦尔迪。

ProCount：带分级项目连接树的加权投影模型计数。 （英语） Zbl 07495571号

Li，Chu Min（ed.）等人，《可满足性测试的理论与应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 152-170 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Dudek}等人，Lect。注释计算。科学。12831152-170（2021；Zbl 07495571）
全文： 内政部
Randal E.布莱恩特。；Heule，Marijn J.H。

使用基于BDD的求解器生成量化布尔公式的双重证明。 （英语） Zbl 07437093号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 433-449 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.E.Bryant}和\textit{M.J.H.Heule}，莱克特。注释计算。科学。12699、433--449（2021；Zbl 07437093）
全文： 内政部
法比奥·加杜奇；弗朗西斯科·桑蒂尼

软约束的剩余：词典顺序和近似技术。 （英语） Zbl 07437040号

Faber，Wolfgang（编辑）等人，《人工智能中的逻辑》。第17届欧洲会议，JELIA 2021，虚拟活动，2021年5月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12678, 162-176 (2021).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{F.Gadducci}和\textit{F.Santini}，莱克特。注释计算。科学。12678、162--176（2021；Zbl 07437040）
全文： 内政部 arXiv公司
Randal E.布莱恩特。；Heule，Marijn J.H。

使用基于BDD的SAT解算器生成扩展的分辨率证明。 （英语） Zbl 1467.68203号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 76-93 (2021).
MSC公司：68伏15 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.E.Bryant}和\textit{M.J.H.Heule}，莱克特。注释计算。科学。12651、76-93（2021年；Zbl 1467.68203）
全文： 内政部 arXiv公司
库斯塔·坎加斯；米科·科维斯托；萨米·萨洛宁

一种基于树分解的快速线性扩展计数算法。 （英语） Zbl 1520.68218号

Paul，Christophe（ed.）等人，第13届参数化和精确计算国际研讨会，2018年8月22日至24日，2018年IPEC，芬兰赫尔辛基。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。115，第5条，第13页（2019年）。
MSC公司：68周05 05二氧化碳 06A07年 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{K.Kangas}等人，LIPIcs——莱布尼茨国际程序。通知。115，第5条，第13页（2019年；Zbl 1520.68218）
全文： 内政部
北佩拉德。；M.-J.克罗斯。；德吉夫里，S。；A.法郎。；罗宾，S。；R·萨巴丁。；希克斯，T。；维格斯，M。

图形模型中的精确或近似推理：为什么选择由树宽决定，以及如何利用变量消除。 （英语） Zbl 1521.62093号

澳大利亚。N.Z.J.统计。 61，第2号，89-133（2019）.
MSC公司：62H22个 62甲12 2005年6月2日 62-08
PDF格式BibTeX公司 XML格式引用
\textit{N.Peyrard}等人，澳大利亚。N.Z.J.Stat.61，No.2，89--133（2019；Zbl 1521.62093）
全文： 内政部 arXiv公司
伯恩哈德·布利姆

图中非地面答案集求解和联盟问题的树宽度。 （英语） Zbl 1428.68210号

Rocha，Ricardo（ed.）等人，第33届逻辑编程国际会议的技术交流，ICLP 2017，2017年8月28日至9月1日，澳大利亚墨尔本。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。58，第12条，第12页（2018年）。
MSC公司：68兰特 68N17号 68年第27季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bliem}，OASIcs--OpenAccess服务器。通知。58，第12条，第12页（2018；Zbl 1428.68210）
全文： 内政部
巴里，赫尔利；巴里·奥沙利文；阿洛奇，大卫；乔治·卡特西雷洛斯；托马斯·希克斯；马蒂亚斯·兹特尼基；西蒙·德·吉夫里

图形模型离散优化中精确解的多语言评估。 （英语） Zbl 1368.90107号

约束条件 21，第3期，413-434（2016）.
MSC公司：90立方厘米 90立方厘米 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{B.Hurley}等人，《约束21》，第3期，413--434（2016；Zbl 1368.90107）
全文： 内政部
安东尼奥·萨尔蒙；拉斐尔·鲁米；赫尔热·兰塞斯；安德斯·马德森。；托马斯·尼尔森。

条件线性高斯网络中的MPE推理。 （英语） Zbl 1465.62115号

Destercke，Sébastien（编辑）等人，用符号和定量方法进行不确定性推理。第13届欧洲会议，ECSQARU 2015，法国康皮涅，2015年7月15日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9161, 407-416 (2015).
MSC公司：62H22个 68层37
PDF格式BibTeX公司 XML格式引用
\textit{A.Salmerón}等人，Lect。注释计算。科学。9161407-416（2015年；兹比尔1465.62115）
全文： 内政部 链接
桑德·埃弗斯；Peter J.F.卢卡斯。

没有求和的边缘化。利用因子代数中的决定论。 （英语） Zbl 1341.68251号

Liu，Weiru（编辑），不确定性推理的符号和定量方法。2011年6月29日至7月1日，第11届欧洲会议，ECSQARU 2011，英国贝尔法斯特。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22151-4/pbk）。计算机科学课堂讲稿6717。人工智能课堂讲稿，251-262（2011）。
MSC公司：68层37 08A70号 60E05型 62C10个 2015年1月62日
PDF格式BibTeX公司 XML格式引用
\textit{S.Evers}和\textit{P.J.F.Lucas}，莱克特。注释计算。科学。6717，251--262（2011；Zbl 1341.68251）
全文： 内政部
玛丽亚·西尔维亚·皮尼；弗朗西丝卡·罗西；克里斯汀·布伦特·维纳布尔；丽娜·德希特

不稳定优化问题的稳健解。 （英语） Zbl 1248.68461号

Oddi，Angelo（编辑）等人，约束的最新进展。第十三届ERCIM约束求解和约束逻辑编程国际研讨会，CSCLP 2008，罗马，意大利，2008年6月18-20日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03250-9/pbk）。计算机科学讲座笔记5655。人工智能课堂讲稿，116-131（2009）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.S.Pini}等人，Lect。注释计算。科学。5655、116--131（2009年；Zbl 1248.68461）
全文： 内政部
Phokion G.科莱蒂斯。；莫舍·瓦尔迪。

约束满足的逻辑方法。 （英语） Zbl 1171.03322号

Creignou，Nadia（编辑）等人，《约束的复杂性》。当前研究主题概述。柏林：施普林格出版社（ISBN 978-3-540-92799-0/pbk）。计算机科学讲义5250，125-155（2008）。
MSC公司：03B70号 65年第68季度 第68页，共15页 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Kolaitis}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。5250125-155（2008年；Zbl 1171.03322）
全文： 内政部
张元林；罗兰·H·C·雅普。；李晨东；萨蒂亚纳拉亚纳马里塞蒂

函数约束的高效算法。 （英语） Zbl 1185.68659号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，606-620（2008）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Zhang｝等人，Lect。注释计算。科学。5366、606--620（2008年；Zbl 1185.68659）
全文： 内政部
维托尔·桑托斯·科斯塔；大卫·佩奇；詹姆斯·库森

CLP（\（\mathcal{BN}\））：概率知识的约束逻辑编程。 （英语） Zbl 1137.68342号

De Raedt，Luc（编辑）等人，概率归纳逻辑编程。理论和应用。柏林：施普林格出版社（ISBN 978-3-540-78651-1/pbk）。计算机科学课堂讲稿4911。人工智能课堂讲稿，156-188（2008）。
MSC公司：68N17号 68T05型
PDF格式BibTeX公司 XML格式引用
\textit｛V.Santos Costa｝等人，Lect。注释计算。科学。4911、156--188（2008年；Zbl 1137.68342）
全文： 内政部
菲利普·杰古；桑巴·恩多伊·恩迪亚耶；西里尔·特里奥克斯

求解结构化CSP的启发式的动态管理。 （英语） Zbl 1145.68518号

Bessière，Christian（编辑），约束编程的原则和实践–CP 2007。2007年9月23日至27日，第13届国际会议，CP 2007，美国罗得岛州普罗维登斯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74969-1/pbk）。《计算机科学讲义》4741364-378（2007）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{P.Jégou}等人，Lect。注释计算。科学。4741、364--378（2007年；Zbl 1145.68518）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件