曼纽尔·博迪尔斯基;马塞洛·马米诺;维奥拉、卡特琳娜 分段线性值CSP可通过线性规划松弛求解。 (英语) Zbl 1508.68129号 ACM事务处理。计算。日志。 23,第1号,第7条,第35页(2021年).MSC公司:65年第68季度 90C05(二氧化碳) 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,《美国医学杂志》。计算。日志。23,第1号,第7条,第35页(2021年;Zbl 1508.68129) 全文: 内政部 arXiv公司
保罗·沙卡里安;马蒂亚斯·布罗切勒;苏布拉曼尼亚,V.S。;克里斯蒂安·莫里纳罗 使用广义注释程序解决社交网络扩散优化问题。 (英语) Zbl 1354.91122号 ACM事务处理。计算。日志。 14,第2号,第10条,40页(2013年).MSC公司:91天30分 68周25 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Shakarian}等人,ACM Trans。计算。日志。14,第2号,第10条,40页(2013;Zbl 1354.91122) 全文: 内政部
罗希特·查达;马赫什·维斯瓦纳坦 马尔可夫决策过程的反例引导抽象再定义框架。 (英语) Zbl 1351.68154号 ACM事务处理。计算。日志。 12,第1号,第1条,49页(2010年).MSC公司:60年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Chadha}和\textit{M.Viswanathan},ACM Trans。计算。日志。12,第1号,第1条,第49页(2010年;Zbl 1351.68154) 全文: 内政部 arXiv公司
尼尔·约克-史密斯;卡门·葛尔维 确定性闭包:具有不完整或错误数据的可靠约束推理。 (英语) Zbl 1367.68272号 ACM事务处理。计算。日志。 10,第1号,第3条,41页(2009年).MSC公司:68T20型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{N.Yorke Smith}和\textit{C.Gervet},ACM Trans。计算。日志。10,第1号,第3条,41页(2009年;Zbl 1367.68272) 全文: 内政部
Choi,C.W。;J.H.M.李。;斯图基,P.J。 删除冗余建模中的传播冗余约束。 (英语) Zbl 1367.68262号 ACM事务处理。计算。日志。 8,第4号,第23条,第38页(2007年).MSC公司:68T20型 90C09型 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Choi}等人,《美国医学杂志》。计算。日志。8,第4号,第23条,第38页(2007年;Zbl 1367.68262) 全文: 内政部 arXiv公司
劳伦特·米歇尔;帕斯卡·范·亨特利克 基于分解的搜索策略实现。 (英语) Zbl 1367.68267号 ACM事务处理。计算。日志。 5,第2期,351-383(2004).MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Michel}和\textit{P.Van Hentenryck},ACM Trans。计算。日志。5,第2号,351--383(2004;Zbl 1367.68267) 全文: 内政部
帕斯卡·范·亨特利克;劳伦·佩伦;Jean-François普吉 OPL中的搜索和策略。 (英语) Zbl 1365.90281号 ACM事务处理。计算。日志。 1,第2期,285-320(2000).MSC公司:90 C59 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Van Hentenryck}等人,《美国医学杂志》。计算。日志。1,第2号,285--320(2000;Zbl 1365.90281) 全文: 内政部