乔昂·阿劳乔;Chow,乔瓦;米科拉什·亚诺塔 使用不变量推进同构模型滤波。 (英语) Zbl 07594547号 约束条件 27,第3号,360-379(2022).MSC公司:68泰克 03立方厘米xx 08亿xx PDF格式BibTeX公司 XML格式引用 \textit{J.Araüjo}等人,《约束》27,第3期,360-379(2022;Zbl 07594547) 全文: 内政部 arXiv公司
乔·德弗里安特;安布罗斯·格莱克斯纳;雅各布诺德斯特伦 学会放松:将0-1整数线性规划与伪布尔冲突驱动搜索相结合。 (英语) 兹比尔1524.68342 约束条件 26,编号1-4,26-55(2021).MSC公司:68T20型 90C09型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Devriendt}等人,约束26,No.1--4,26-55(2021;Zbl 1524.68342) 全文: 内政部
米歇尔,L。;Van Hentenryck,P。 用于约束编程的微内核体系结构。 (英语) 兹比尔139090520 约束条件 22,第2期,107-151(2017).MSC公司:90立方 90-04年 PDF格式BibTeX公司 XML格式引用 \textit{L.Michel}和\textit{P.Van Hentenryck},《约束》22,第2期,第107--151页(2017;Zbl 1390.90520) 全文: 内政部 arXiv公司
斯特凡·克雷特;安德烈亚斯·舒特;彼得·斯图基(Peter J.Stuckey)。 使用约束编程求解RCPSP/MAX-cal。 (英语) Zbl 1387.90092号 约束条件 22,第3期,432-462(2017).MSC公司:90B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kreter}等人,《约束》22,第3期,432--462(2017;Zbl 1387.90092) 全文: 内政部
亚什·普兰尼克;尼古拉斯五世·萨希尼迪斯。 全局NLP和MINLP优化的域约简技术。 (英语) Zbl 1387.90164号 约束条件 22,第3号,338-376(2017).MSC公司:90立方厘米 90C26型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Puranik}和\textit{N.V.Sahinidis},约束22,No.3,338--376(2017;Zbl 1387.90164) 全文: 内政部 arXiv公司
尤利亚·利勒 什么是命题可满足性的答案集编程。 (英语) Zbl 1423.68483号 约束条件 22,第3号,307-337(2017).MSC公司:68T27型 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lierler},约束22,No.3,307--337(2017;Zbl 1423.68483) 全文: 内政部
亚历山德罗·西马蒂;安德烈亚·米凯利;马可·罗维里 使用SMT解决不确定性时间问题的强可控性。 (英语) Zbl 1314.90043号 约束条件 20,第1号,1-29(2015).MSC公司:90B36型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《限制条件20》,第1号,第1-29页(2015年;兹bl 1314.90043) 全文: 内政部
杰弗里·楚;玛丽亚·加西亚·德拉班达;克里斯托弗·米尔斯;彼得·斯图基(Peter J.Stuckey)。 对称性、几乎对称性和惰性子句生成。 (英语) Zbl 1316.90045号 约束条件 19,第4期,434-462(2014).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Chu}等人,《限制条件》19,第4期,434--462(2014;Zbl 1316.90045) 全文: 内政部 链接
弗朗西斯·凯瑟琳·格伦;彼得·斯图基(Peter J.Stuckey)。 解释电路传播。 (英语) Zbl 1310.05144号 约束条件 19,第1期,1-29页(2014年).MSC公司:05C62号 05C82号 05C38号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Francis}和\textit{P.J.Stuckey},《限制条件》19,第1期,1-29(2014;Zbl 1310.05144) 全文: 内政部 链接
安东尼奥·莫尔加多;费德里科·赫拉斯;马克·利菲顿;乔迪,飞机;若昂·西尔瓦侯爵 迭代和核心指导的maxsat求解:调查和评估。 (英语) 兹比尔1317.90199 约束条件 18,第4期,478-534(2013).MSC公司:90C09型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{A.Morgado}等人,《约束18》,第4期,478--534(2013;Zbl 1317.90199) 全文: 内政部
鲁本·马丁斯;Vasco Manquinho公司;林奇,因斯 并行SAT求解概述。 (英语) Zbl 1309.90057号 约束条件 17,第3号,304-347(2012).MSC公司:90C09型 PDF格式BibTeX公司 XML格式引用 \textit{R.Martins}等人,《约束17》,第3期,304--347(2012;Zbl 1309.90057) 全文: 内政部
格雷姆·恒河;彼得·斯图基(Peter J.Stuckey)。;拉多斯瓦夫·西曼内克 MDD传播器及其解释。 (英语) Zbl 1241.90066号 约束条件 16,第4期,407-429(2011).MSC公司:90B50型 PDF格式BibTeX公司 XML格式引用 \textit{G.Gange}等人,《约束16》,第4期,407--429(2011;Zbl 1241.90066) 全文: 内政部
安德烈亚斯·舒特;蒂鲍特·费迪;彼得·斯图基(Peter J.Stuckey)。;马克·华莱士。 解释累计传播者。 (英语) Zbl 1226.68099号 约束条件 16,第3期,250-282(2011).MSC公司:68T20型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Schutt}等人,《约束16》,第3期,250-282(2011;Zbl 1226.68099) 全文: 内政部
伊曼纽尔·迪·罗莎;恩里科Giunchilia;马可·马拉提亚 用偏好解决可满足性问题。 (英语) Zbl 1208.68199号 约束条件 15,第4期,485-515(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Di Rosa}等人,《限制条件》15,第4期,485--515(2010;Zbl 1208.68199) 全文: 内政部
阿什什·萨巴沃尔 SymChaff公司:在结构软件可满足性求解器中利用对称性。 (英语) Zbl 1186.68442号 约束条件 14,第4期,478-505(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Sabharwal},约束14,No.4,478--505(2009;Zbl 1186.68442) 全文: 内政部
铃木田村;阿基科·塔加;佐藤北川;穆苏诺里·班巴拉 将有限线性CSP编译成SAT。 (英语) Zbl 1186.68076号 约束条件 第2期,第14期,第254-272页(2009年).MSC公司:68平方米 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Tamura}等人,《限制条件》14,第2期,254--272(2009;Zbl 1186.68076) 全文: 内政部
奥尔加·奥里蒙科;彼得·斯图基(Peter J.Stuckey)。;科迪什,迈克尔 通过惰性子句生成进行传播。 (英语) Zbl 1192.68654号 约束条件 14,第3期,357-391(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{O.Ohrimenko}等人,约束14,No.3,357--391(2009;Zbl 1192.68654) 全文: 内政部
马蒂·Järvisalo;汤米·琼蒂拉 限制分支在小句学习中的局限性。 (英语) Zbl 1192.68643号 约束条件 14,第3期,325-356(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}和\textit{T.Junttila},约束14,No.3,325--356(2009;Zbl 1192.68643) 全文: 内政部
刘冷宁;特鲁什琴斯基,米洛斯奥 使用局部搜索技术对伪布尔约束的布尔组合进行可满足性测试。 (英语) Zbl 1211.68386号 约束条件 12,第3号,345-369(2007).MSC公司:68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Liu}和\textit{M.Truszczyn ski},约束12,第3号,345--369(2007;Zbl 1211.68386) 全文: 内政部
卡拉·戈麦斯。;塞萨尔·费尔南德斯;巴特·塞尔曼;克里斯蒂安·贝西埃 跨约束区域的统计制度。 (英语) 兹比尔1102.68651 约束条件 10,第4期,317-337(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.P.Gomes}等人,《约束10》,第4期,317--337(2005;Zbl 1102.68651) 全文: 内政部 链接
阿方索·杰雷维尼;伊凡·塞琳娜 计划作为命题CSP:从Walksat到动作图的局部搜索技术。 (英语) Zbl 1074.68612号 约束条件 8,第4期,389-413(2003).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Gerevini}和\textit{I.Serina},《限制》8,第4期,389--413(2003;Zbl 1074.68612) 全文: 内政部