马修·瓦维尔;夏洛特·特鲁切特;查尔斯·普鲁德霍姆 更正为:“具有随机表约束的解决方案采样”。 (英语) Zbl 07805106号 约束条件 28、3号、519(2023).MSC公司:68泰克 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Vavrille}等人,《限制条件》28,No.3,519(2023;Zbl 07805106) 全文: DOI程序
穆罕默德·萨米·谢里夫 (最大)可满足性的推理和推断:新见解。 (英语) Zbl 07805102号 约束条件 28,编号3,513-514(2023).MSC公司:68倍 90倍X PDF格式BibTeX公司 XML格式引用 \textit{M.S.Cherif},约束28,No.3,513--514(2023;Zbl 07805102) 全文: DOI程序
乌特库·乌穆尔·阿奇卡林;布格拉·卡斯库鲁;苏布拉马尼,K。 有安全意识的数据库迁移规划。 (英语) Zbl 07805097号 约束条件 28,第3期,472-505(2023年).MSC公司:90立方厘米 68瓦xx 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{U.U.Acikalin}等人,《限制条件》28,No.3,472--505(2023;Zbl 07805097) 全文: DOI程序
简·德雷尔;塞巴斯蒂安·奥德尼亚克;斯泽德,斯特凡 CSP超越了可处理的约束语言。 (英语) Zbl 07805096号 约束条件 28,编号3,450-471(2023).MSC公司:68季度xx 05Cxx号 68泰克 PDF格式BibTeX公司 XML格式引用 \textit{J.Dreier}等人,《约束》28,第3期,450-471(2023;Zbl 07805096) 全文: DOI程序 OA许可证
克里斯蒂安·贝西尔;石炭纪,Clément;马丁·库珀。;埃曼纽尔·希伯拉德 最小尺寸电弧不一致性解释的复杂性。 (英语) Zbl 07805095号 约束条件 28,编号3,427-449(2023).MSC公司:68季度xx 68瓦xx 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{C.Bessiere}等人,约束28,No.3,427--449(2023;Zbl 07805095) 全文: DOI程序 哈尔
费利克斯·乌尔里希·奥尔坦;彼得·南丁格尔;詹姆斯·阿尔弗雷德·沃克 学习为伪布尔和线性整数约束选择SAT编码。 (英语) Zbl 07805094号 约束条件 28,第3期,397-426(2023年).MSC公司:65K10码 68T05型 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{F.Ulrich-Oltean}等人,《限制条件》28,No.3,397--426(2023;Zbl 07805094) 全文: DOI程序 arXiv公司 OA许可证
独木舟,Rocsildes;比卡雷,维克托;贾扬塔·曼迪;枪,蒂亚斯 学习和路线:学习车辆路线的隐含偏好。 (英语) Zbl 07805093号 约束条件 28,第3期,363-396(2023).MSC公司:90立方厘米 900亿 68泰克 PDF格式BibTeX公司 XML格式引用 \textit{R.Canoy}等人,约束28,No.3,363--396(2023;Zbl 07805093) 全文: DOI程序 arXiv公司 OA许可证
阿尼萨·凯里丁;艾蒂安·雷诺;苏海卜·巴里尔 寻求更好的启发式方法来解决有界模型检查问题。 (英语) Zbl 1522.68329号 约束条件 28,编号1,45-66(2023).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kheireddine}等人,约束28,No.1,45--66(2023;Zbl 1522.68329) 全文: DOI程序
勒斯特姆·塔哈诺夫 CSP加密和稀疏任务的代数结构。 (英语) Zbl 1522.68242号 约束条件 28,编号1,13-44(2023).MSC公司:65年第68季度 03B70号 2015年1月6日 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Takhanov},约束28,No.1,13-44(2023;Zbl 1522.68242) 全文: DOI程序 arXiv公司
马特奥·扎瓦特里;爱丽丝·拉斐尔;达里奥·奥斯图尼;罗密欧·里兹 选言时间问题的跨学科实验评价。 (英语) Zbl 1522.68519号 约束条件 28,编号1,1-12(2023).MSC公司:68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Zavatteri}等人,《约束》28,第1期,第1-12页(2023年;Zbl 1522.68519) 全文: DOI程序
托马斯·德拉斯克;汤姆·沃纳;西蒙·德·吉夫里 加权CSP的超参数化:属性和优化视角。 (英语) Zbl 07738741号 约束条件 28,编号2,277-319(2023).MSC公司:68季度xx 90立方厘米 68泰克 PDF格式BibTeX公司 XML格式引用 \textit{T.Dlask}等人,约束28,No.2,277--319(2023;Zbl 07738741) 全文: DOI程序 arXiv公司
波亚·沙蒂;科恩、埃尔丹;希拉·麦克拉伊思。 基于SAT的非二进制数据最优分类树。 (英语) Zbl 07738738号 约束条件 28,第2期,166-202(2023).MSC公司:68泰克 90立方厘米 62至XX PDF格式BibTeX公司 XML格式引用 \textit{P.Shati}等人,约束28,No.2,166--202(2023;Zbl 07738738) 全文: DOI程序
曼纽尔·博迪尔斯基;布林,雅库布;弗洛里安·斯塔克;迈克尔·温塔勒 最小的硬树。 (英语) Zbl 1521.05019号 约束条件 28,第2期,第105-137页(2023年).MSC公司:05二氧化碳 05C60型 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,约束28,No.2,105--137(2023;Zbl 1521.05019) 全文: DOI程序 arXiv公司
马修·瓦维尔;夏洛特·特鲁切特;查尔斯·普鲁德霍姆 具有随机表约束的解决方案采样。 (英语) Zbl 07640672号 约束条件 27,第4号,381-413(2022); 更正同上,第28号,第3,519(2023)。MSC公司:68泰克 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Vavrille}等人,《约束27》,第4期,381--413(2022年;Zbl 07640672) 全文: DOI程序 哈尔
乔昂·阿劳乔;Chow,Choiwah先生;米科拉什·亚诺塔 使用不变量推进同构模型滤波。 (英语) Zbl 07594547号 约束条件 27,第3号,360-379(2022).MSC公司:68泰克 03Cxx号 08Bxx年 PDF格式BibTeX公司 XML格式引用 \textit{J.Araüjo}等人,《约束》27,第3期,360-379(2022;Zbl 07594547) 全文: DOI程序 arXiv公司
彼得·库切拉;佩特·萨维克 传播平滑DNNF理论的完整编码。 (英语) 兹伯利07594546 约束条件 27,第3号,327-359(2022).MSC公司:68泰克 68季度xx 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{P.Kučera}和\textit{P.Savickí},约束27,No.3,327--359(2022;Zbl 07594546) 全文: DOI程序 arXiv公司
格奥尔格·戈特洛布;Cem奥库穆斯;莱因哈德·皮克勒 约束满足问题的快速并行分解。 (英语) Zbl 07594545号 约束条件 第3284-326号第27页(2022).MSC公司:68泰克 68季度xx 68页 PDF格式BibTeX公司 XML格式引用 \textit{G.Gottlob}等人,约束27,No.3,284--326(2022;Zbl 07594545) 全文: DOI程序
巴纳比·马丁;贾斯汀·皮尔逊 当边界一致性意味着常规计数约束的域一致性。 (英语) Zbl 07594541号 约束条件 第3期第27页,第161-167页(2022年).MSC公司:68泰克 68季度xx 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Martin}和\textit{J.Pearson},约束27,No.3,161--167(2022;Zbl 07594541) 全文: DOI程序
安东尼奥·加里多 一种基于约束的方法,用于从多个计划中学习动作模型的时间特征。 (英语) Zbl 1490.68204号 约束条件 27,编号1-2,134-160(2022).MSC公司:68T20型 68T05型 第68页第42页 PDF格式BibTeX公司 XML格式引用 \textit{A.Garrido},约束27,No.1--2,134-160(2022;Zbl 1490.68204) 全文: DOI程序
安东尼·卡拉哈利奥斯;威廉·扬·范霍夫 决策图的变量排序:组合方法。 (英语) Zbl 1496.91043号 约束条件 27,编号1-2,116-133(2022).MSC公司:91B06型 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{A.Karahalios}和\textit{W.-J.van Hoeve},约束27,编号1--2116-133(2022;Zbl 1496.91043) 全文: DOI程序
罗伯特·巴格纳拉;阿布拉莫·巴格纳拉;法比奥·比塞利;米歇尔·齐亚里;罗伯塔·戈里 用于程序验证的IEEE 754浮点运算的正确近似值。 (英语) Zbl 1490.68078号 约束条件 27,编号1-2,29-69(2022).MSC公司:68号30 65克50 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bagnara}等人,《限制条件》27,编号1--2,29-69(2022;Zbl 1490.68078) 全文: DOI程序 arXiv公司
阿夫拉罕·伊扎科夫;科迪什,迈克尔 唯一哈密顿图类的完全对称破缺约束。 (英语) Zbl 1492.05081号 约束条件 27,编号1-2,8-28(2022).MSC公司:05C45号 68兰特 90立方厘米 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{A.Itzhakov}和\textit{M.Codish},约束27,No.1--2,8--28(2022;Zbl 1492.05081) 全文: DOI程序 反向链接: 卫生官员
迪米特里·尤斯特阿·阿莱雷;查尔斯·普鲁德霍姆 用于表达和跨域约束编程的全局域视图。 (英语) Zbl 1490.68206号 约束条件 27,编号1-2,1-7(2022).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Justeau-Allaire}和\textit{C.Prud'homme},约束27,编号1--2,1--7(2022;Zbl 1490.68206) 全文: DOI程序
雨晨·庞;卡尔顿·科夫林;安德烈·洛霍夫。;马克·瓦夫雷 更正为:“量子退火用于快速溶液结构识别的潜力”。 (英语) 兹比尔1509.81295 约束条件 26,编号1-4,107(2021).MSC公司:81页68 2009年9月90日 65日元 68页第10页 65年第68季度 82B20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Pang}等人,约束26,No.1--4,107(2021;Zbl 1509.81295) 全文: DOI程序
贾纳·科勒;约瑟夫·伯格勒;乌尔斯·丰塔纳;艾蒂安·福克斯;弗洛里安·赫尔佐格;马克·波利;索菲亚·萨勒;阿纳斯塔西亚·萨利亚耶娃;Peter Scheiblechner先生;凯·瓦尔蒂 电缆树布线–对具有各种优先约束的实际调度问题进行基准测试求解器。 (英语) Zbl 07471953号 约束条件 26,编号1-4,56-106(2021).MSC公司:90B35型 65年第68季度 90C27型 90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Koehler}等人,《限制条件》26,编号1--4,56-106(2021;Zbl 07471953) 全文: DOI程序 arXiv公司
乔·德弗里安特;安布罗斯·格莱克斯纳;雅各布诺德斯特伦 学会放松:将0-1整数线性规划与伪布尔冲突驱动搜索相结合。 (英语) Zbl 1524.68342号 约束条件 26,编号1-4,26-55(2021).MSC公司:68T20型 2009年9月90日 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Devriendt}等人,约束26,No.1--4,26-55(2021;Zbl 1524.68342) 全文: DOI程序
雨晨·庞;卡尔顿·科夫林;安德烈·洛霍夫。;马克·瓦夫雷 量子退火在快速溶液结构识别中的潜力。 (英语) Zbl 1485.81022号 约束条件 26,编号1-4,1-25(2021); 更正同上26,第1-4、107(2021)号。MSC公司:81页68 2009年9月90日 65日元 68页第10页 65年第68季度 82B20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Pang}等人,约束26,No.1--4,1--25(2021;Zbl 1485.81022) 全文: DOI程序 arXiv公司
埃曼纽尔·希伯拉德(编辑);尼斯雷特·穆斯利乌(编辑) CPAIOR 2020快车道问题简介。 (英语) Zbl 1476.00095号 约束条件 25,编号3-4,298-299(2020).MSC公司:00时25分 90-06年 68-06 PDF格式BibTeX公司 XML格式引用 \textit{E.Hebrard}(编辑)和textit{N.Musliu}(编),约束25,No.3--4,298--299(2020;Zbl 1476.00095) 全文: DOI程序
罗德里格·科南·钦达;贾梅尼、克莱门汀·塔尤 证明基于动态对称处理的SAT解算器的UNSAT结果。 (英语) Zbl 1508.68349号 约束条件 25,编号3-4,251-279(2020).MSC公司:68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.K.Tchinda}和\textit{C.T.Djamegni},约束25,No.3--4,251--279(2020;Zbl 1508.68349) 全文: DOI程序
奥尔加·特维雷蒂纳;巴维尔·扎伊琴科夫;亚历克斯·沙法伦科 通过约束满足实现组件接口的非局部配置。 (英语) Zbl 1508.68404号 约束条件 25,编号3-4,121-159(2020).MSC公司:68单位35 68甲15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{O.Tveretina}等人,《限制条件》25,No.3--4,121-159(2020;Zbl 1508.68404) 全文: DOI程序 arXiv公司
Jaime E.González。;安德烈·西尔(Andre A.Cire)。;安德烈·洛迪;卢梭,路易斯·马汀 集成整数规划和决策图搜索树,并应用于最大独立集问题。 (英语) 兹比尔1452.90265 约束条件 25,编号1-2,23-46(2020).MSC公司:90C27型 90立方厘米 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.E.González}等人,约束25,No.1--2,23-46(2020;Zbl 1452.90265) 全文: DOI程序
奥姆拉尼,穆罕默德·阿明;Wady Naanaa 生成带有强制模式和禁止模式的图的约束:分子图的应用。 (英语) Zbl 1477.68244号 约束条件 25号1-2、1-22(2020年).MSC公司:68兰特 05C92年 90C27型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Omrani}和\textit{W.Naanaa},约束25,No.1--2,1--22(2020;Zbl 1477.68244) 全文: DOI程序
瓦迪姆·莱维特;佐哈尔·科马罗夫斯基;塔尔·格林斯彭;Ana L.C.巴赞。;Amnon Meisels公司 布尔博弈中基于激励的均衡搜索。 (英语) Zbl 1427.91012号 约束条件 24,编号3-4,288-319(2019).MSC公司:91A10号 68宽15 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{V.Levit}等人,《限制条件24》,编号3--4,288--319(2019年;Zbl 1427.91012) 全文: DOI程序
安东尼·帕尔米耶里;阿尔诺·拉洛伊特;吕克·蓬斯 SDN中需求稳定最优分配的约束博弈。 (英语) Zbl 1480.90174号 约束条件 24,编号3-4,252-287(2019).MSC公司:90立方厘米 90立方厘米 91A80型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Palmieri}等人,《限制条件24》,编号3--4,252--287(2019年;Zbl 1480.90174) 全文: DOI程序 哈尔
米查·卡宾斯基;马雷克·彼得罗 使用多路合并选择网络编码基数约束。 (英语) Zbl 1432.68417号 约束条件 24,编号3-4,234-251(2019).MSC公司:68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Karpiñski}和\textit{M.Piotrów},约束24,No.3--4,234--251(2019;Zbl 1432.68417) 全文: DOI程序
Kuldeep S.梅尔。;Aditya A.Shrotri。;莫舍·瓦尔迪。 并非所有的FPRAS都是相等的:为DNF计数揭开FPRAS的神秘面纱。 (英语) Zbl 1483.68498号 约束条件 24,编号3-4,211-233(2019).MSC公司:68瓦20 68兰特 68T20型 68周25 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Meel}等人,《限制条件24》,第3-4期,211-233页(2019年;Zbl 1483.68498) 全文: DOI程序
Houndji,Vinasetan Ratheil公司;皮埃尔·绍斯;劳伦斯·沃尔西 依赖于物料的库存成本约束。 (英语) Zbl 1430.90230号 约束条件 24,第2期,183-209(2019).MSC公司:90B30型 90B35型 90磅05 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{V.R.Houndji}等人,《限制条件》24,第2期,183--209(2019年;Zbl 1430.90230) 全文: DOI程序
阿奇利奥普塔斯,迪米特里斯;帕诺斯·西奥多罗普洛斯 使用纠错代码进行模型计数。 (英语) Zbl 1483.68242号 约束条件 24,第2162-182号(2019).MSC公司:68兰特 68T20型 68瓦20 94B35码 PDF格式BibTeX公司 XML格式引用 \textit{D.Achlioptas}和\textit{P.Theodoropoulos},约束24,No.2,162--182(2019;Zbl 1483.68242) 全文: DOI程序
查、奥龙;宫崎骏小村;藤田,广岛 \MaxSAT伪布尔约束的(N)级基于模的CNF编码。 (英语) Zbl 1483.68244号 约束条件 24,第2期,133-161(2019).MSC公司:68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Zha}等人,《限制条件24》,第2期,133--161(2019年;Zbl 1483.68244) 全文: DOI程序
科斯塔斯·斯特乔 邻域单元素一致性。 (英语) Zbl 1468.68207号 约束条件 24,第1期,94-131(2019).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Stergiou},约束24,No.1,94--131(2019;Zbl 1468.68207) 全文: DOI程序
迭戈·德乌尼亚;格雷姆·恒河;彼得·沙赫特;彼得·斯图基(Peter J.Stuckey)。 将CP子问题编译为MDD和d-DNNF。 (英语) Zbl 1468.68195号 约束条件 24,第1号,56-93(2019).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.de Uña}等人,《限制条件24》,第1号,56-93(2019;兹bl 1468.68195) 全文: DOI程序
廖晓娟;宫崎骏小村;川崎野本;铃木上田;Yuko Sakurai;Makoto Yokoo公司 改进的WPM编码用于MC-nets下的联盟结构生成。 (英语) 兹比尔1468.68203 约束条件 24,第1期,25-55页(2019年).MSC公司:68T20型 68兰特 91A12号机组 PDF格式BibTeX公司 XML格式引用 \textit{X.Liao}等人,《限制条件24》,第1期,第25-55页(2019年;Zbl 1468.68203) 全文: DOI程序
朱利安·维昂;Sylvain Piechowiak 从MDD到BDD和电弧一致性。 (英语) Zbl 1468.68209号 约束条件 第451-480号第23页(2018年).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Vion}和\textit{S.Piechowiak},约束23,第4期,451--480(2018;Zbl 1468.68209) 全文: DOI程序
恩里科·金西格里亚;马可·马拉提亚;卢卡·普利纳 基于翻译的方法,用于解决具有偏好的析取时间问题。 (英语) Zbl 1468.68201号 约束条件 23,第4号,383-402(2018).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,《限制条件》23,第4期,383--402(2018年;Zbl 1468.68201) 全文: DOI程序 链接
艾尔·穆埃利,Achref 关于二进制CSP的BTP的新扩展。 (英语) Zbl 1468.68196号 约束条件 23,第4号,355-382(2018).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.El Mouelhi},约束23,No.4,355--382(2018;Zbl 1468.68196) 全文: DOI程序
马蒂奥·菲舍蒂;乔,杰森 深度神经网络和混合整数线性优化。 (英语) Zbl 1402.90096号 约束条件 23,第3期,296-309(2018).MSC公司:90立方厘米 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fischetti}和\textit{J.Jo},约束23,第3号,296--309(2018;Zbl 1402.90096) 全文: DOI程序 arXiv公司
哈米德·法希米;亚尼克·欧莱特;克洛德·盖·昆珀 分离约束的线性时间滤波算法和累积非第一非最大的二次滤波算法。 (英语) Zbl 1457.90067号 约束条件 23,第3号,272-293(2018).MSC公司:90B35型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Fahimi}等人,《限制条件》23,第3期,272--293(2018;Zbl 1457.90067) 全文: DOI程序 链接
阿米娜·凯玛;雅希亚·利巴;萨米尔·劳德尼;帕特里斯·博伊祖马尔;查诺伊斯、蒂埃里 序列模式挖掘的前缀-投影全局约束和top-(k)方法。 (英语) Zbl 1427.68066号 约束条件 22,第2期,265-306(2017).MSC公司:第68页,共15页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kemmar}等人,《限制条件》22,第2期,265--306(2017;Zbl 1427.68066) 全文: DOI程序
尤利亚·利勒 什么是命题可满足性的答案集编程。 (英语) Zbl 1423.68483号 约束条件 22,第3号,307-337(2017).MSC公司:68T27型 第68页第17页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lierler},约束22,No.3,307--337(2017;Zbl 1423.68483) 全文: DOI程序
约翰·奥加(John O.R.Aoga)。;枪,蒂亚斯;皮埃尔·绍斯 用约束编程挖掘时间约束序列模式。 (英语) Zbl 1425.68338号 约束条件 22,第4号,548-570(2017).MSC公司:68T05型 68吨10 68T20型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{J.O.R.Aoga}等人,《约束》22,第4期,548--570(2017;Zbl 1425.68338) 全文: DOI程序 链接
Jip J.德克尔。;古斯塔夫·比约达尔;Carlsson,马茨;皮埃尔·弗莱纳;珍妮·诺埃尔·莫内特 MiniZin子问题预解决的自动稳定。 (英语) Zbl 1425.68386号 约束条件 22,第4期,512-529(2017).MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Dekker}等人,《约束》22,第4期,512-529(2017;Zbl 1425.68386) 全文: DOI程序
多梅尼科·萨尔瓦金(编辑);米歇尔·伦巴第(编辑) 2017年CPAIOR快车道问题简介。 (英语) Zbl 1388.00042号 约束条件 22,第4期,491-492(2017).MSC公司:00时25分 68-06 90-06年 PDF格式BibTeX公司 XML格式引用 \textit{D.Salvagnin}(编辑)和textit{M.Lombardi}(编),《约束》22,第4期,491--492(2017;Zbl 1388.00042) 全文: DOI程序
班科维奇,米兰 支持有限域的SMT求解器的扩展都不一样约束。 (英语) Zbl 1409.68266号 约束条件 21,第4期,463-494(2016).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Banković},约束21,No.4,463--494(2016;Zbl 1409.68266) 全文: DOI程序
米歇尔·伦巴第;斯特凡诺·瓜兰迪 约束规划中人工神经网络的拉格朗日传播算子。 (英语) Zbl 1368.90148号 约束条件 21,第4期,435-462(2016).MSC公司:90立方 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Lombardi}和\textit{S.Gualandi},约束21,第4号,435--462(2016;Zbl 1368.90148) 全文: DOI程序
弗里德里克·科里奇;西尔万·拉格鲁;埃里克·皮埃特;塞巴斯蒂安·塔巴里 随机CSP的一般游戏。 (英语) Zbl 1411.91057号 约束条件 21,第1期,95-114(2016).MSC公司:91A15型 91-04 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Koriche}等人,《约束21》,第1期,第95-114页(2016年;Zbl 1411.91057) 全文: DOI程序 链接
尼古拉斯·贝尔迪塞努;Carlsson,马茨;雷米·杜伦斯;赫尔穆特·西蒙尼斯 使用有限传感器描述和合成结构时间序列约束。 (英语) Zbl 1397.68161号 约束条件 21,第1期,22-40(2016).MSC公司:68T20型 62M10个 PDF格式BibTeX公司 XML格式引用 \textit{N.Beldiceanu}等人,《约束21》,第1期,第22--40页(2016年;Zbl 1397.68161) 全文: DOI程序 哈尔
埃里克·格雷戈里(编辑);贝特朗·马祖尔(编辑) 介绍人工智能中的CSP技术专题。 (英语) Zbl 1329.00158号 约束条件 20,第4期,381-382(2015).MSC公司:00B15号机组 68-06 90-06年 PDF格式BibTeX公司 XML格式引用 \textit{埃里·格雷戈伊尔}(编辑)和\textit{B.Mazure}(主编),约束20,第4号,381--382(2015;Zbl 1329.00158) 全文: DOI程序
米歇尔,L。(编辑) 2015年CPAIOR快速通道问题简介。 (英语) 兹比尔1325.00053 约束条件 20,第3期,283-284(2015).MSC公司:00时25分 90-06年 68-06 PDF格式BibTeX公司 XML格式引用 \textit{L.Michel}(编辑),《约束》20,第3期,283--284(2015;Zbl 1325.00053) 全文: DOI程序
阿诺·莱特特;Carlsson,马茨;尼古拉斯·贝尔迪塞努 可伸缩调度约束的同步扫描算法。 (英语) Zbl 1314.90039号 约束条件 20,第2期,183-234(2015).MSC公司:90B35型 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{A.Letort}等人,《限制》20,第2期,183--234(2015;Zbl 1314.90039) 全文: DOI程序 链接
吉尔·西蒙宁;Artigues,克里斯蒂安;埃曼纽尔·希伯拉德;皮埃尔·洛佩兹 安排彗星探测的科学实验。 (英语) Zbl 1314.90041号 约束条件 20,第1期,77-99(2015).MSC公司:90B35型 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{G.Simonin}等人,《约束20》,第1期,第77--99页(2015;Zbl 1314.90041) 全文: DOI程序 哈尔
罗杰·卡梅恩;劳雷·波林·福克索;约瑟夫·斯科特;Ngo Kateu,尤丘 一种用于累积资源约束的二次寻边滤波算法。 (英语) Zbl 1314.90038号 约束条件 19,第3期,243-269(2014).MSC公司:90B35型 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{R.Kameugne}等人,《限制条件19》,第3243-269号(2014年;Zbl 1314.90038) 全文: DOI程序
Jean-Baptiste梅里;帕斯卡·范·亨特利克;伊夫·迪维尔 表约束的最佳高效过滤算法。 (英语) Zbl 1328.68201号 约束条件 第1号,第19页,第77-120页(2014年).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.-B.Mairy}等人,《限制条件》19,第1期,77-120(2014;Zbl 1328.68201) 全文: DOI程序 链接
克里斯蒂安·舒尔特;塔克,吉多 基于视图的传播算子派生。 (英语) Zbl 1328.68202号 约束条件 18,第1期,75-107(2013).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Schulte}和\textit{G.Tack},约束18,No.1,75--107(2013;Zbl 1328.68202) 全文: DOI程序 arXiv公司
吉安路易吉·格雷科;弗朗西斯科·斯卡切罗 枚举CSP解决方案的结构可处理性。 (英语) Zbl 1310.05151号 约束条件 18,第1期,38-74(2013).MSC公司:05C65号 05二氧化碳 05C30号 05第51页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Greco}和\textit{F.Scarcello},《约束18》,第1期,第38--74页(2013;Zbl 1310.05151) 全文: DOI程序 arXiv公司
卡洛斯·安索特吉;Béjar,拉蒙;塞萨尔·费尔南德斯;卡莱斯·马图 关于将边缘匹配难题作为SAT或CSP问题解决的难度。 (英语) Zbl 1310.05055号 约束条件 18,第1期,7-37(2013).MSC公司:05B40号 05B50号 52C20个 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人,《约束18》,第1期,第7-37页(2013年;Zbl 1310.05055) 全文: DOI程序
尼古拉斯·贝尔迪塞努;Carlsson,马茨;皮埃尔·弗莱纳;贾斯汀·皮尔逊 关于全球约束的具体化。 (英语) 兹比尔1328.68192 约束条件 18,第1期,第1-6期(2013年).MSC公司:68T20型 第68页第17页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beldiceanu}等人,《约束18》,第1期,1--6页(2013年;Zbl 1328.68192) 全文: DOI程序 链接
安德烈亚·伦德尔(编辑);克里斯托弗·贝克(编辑) 介绍关于约束建模和重新计算的专题。 (英语) Zbl 1304.00057号 约束条件 18,第2期,141-143(2013).MSC公司:00时25分 68-06 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Rendl}(编辑)和textit{J.C.Beck}(主编),约束18,第2期,141--143(2013;Zbl 1304.00057) 全文: DOI程序
法律,Y.C。;J.H.M.李。;T·沃尔什。;吴,M.H.C。 多集变量表示和约束传播。 (英语) Zbl 1336.68238号 约束条件 18,第3号,307-343(2013). 审核人:莱因哈特·尤勒(布雷斯特) MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{Y.C.Law}等人,《限制条件》18,第3期,307--343(2013;Zbl 1336.68238) 全文: DOI程序
尤尼斯机械师;穆罕默德·瓦比;克里斯蒂安·贝西尔;El Houssine Bouyakhf;Amnon Meisels公司;罗伊·齐万 勘误表:“异步回溯的Min-domain追溯订购”。 (英语) Zbl 1304.68165号 约束条件 17,第3期,348-355(2012).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mechqrane}等人,《约束17》,第3期,348--355(2012;Zbl 1304.68165) 全文: DOI程序 链接
朱棣文,杰弗里;玛丽亚·加西亚·德拉班达;彼得·斯图基(Peter J.Stuckey)。 利用约束规划中的子问题优势。 (英语) Zbl 1247.68249号 约束条件 17,第1期,1-38页(2012年).MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Chu}等人,《限制条件》17,第1期,1-38(2012;Zbl 1247.68249) 全文: DOI程序
巴拉福提斯,塔纳西;阿纳斯塔西亚·帕帕里佐;科斯塔斯·斯特乔;托比·沃尔什 最大受限路径一致性的新算法。 (英语) Zbl 1241.68098号 约束条件 16,第4期,372-406(2011).MSC公司:68T20型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{T.Balafoutis}等人,《约束16》,第4期,372--406(2011;Zbl 1241.68098) 全文: DOI程序
罗伊·齐万;Grubshtein,阿隆;Amnon Meisels公司 动态CSP中最小扰动的混合搜索。 (英语) Zbl 1233.90176号 约束条件 16,第3期,228-249(2011).MSC公司:90B35型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Zivan}等人,《限制条件16》,第3期,第228-249页(2011年;Zbl 1233.90176) 全文: DOI程序
彼得·霍卢布;哈纳·鲁多瓦;米洛什·利什卡 协同环境中的数据传输规划和树布局。 (英语) 兹比尔12346.8364 约束条件 16,第3期,283-316(2011).MSC公司:68T20型 64岁以下 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{P.Holub}等人,《约束16》,第3期,283--316(2011;Zbl 1234.68364) 全文: DOI程序
安德烈亚斯·舒特;蒂鲍特·费迪;彼得·斯图基(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) 全文: DOI程序
罗马人Barták(编辑);米盖尔·萨利多(Miguel A.Salido)。(编辑) 特殊问题:规划和调度问题的约束满足。根据2009年9月19日在希腊塞萨洛尼基举行的COPLAS 2009年研讨会上的演示文稿选出的论文。 (英语) 兹比尔1255.68019 约束条件16,第3期,223-340(2011)。 MSC公司:68-06 90-06年 00时25分 PDF格式BibTeX公司 XML格式
罗伯托·阿斯因;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 基数网络:一项理论和实证研究。 (英语) Zbl 1217.68200号 约束条件 16,第2期,195-221(2011).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Asín}等人,《约束16》,第2期,195--221页(2011年;Zbl 1217.68200) 全文: DOI程序
科瓦奇,安德拉斯;克里斯托弗·贝克 一元资源的总加权完成时间的全局约束。 (英语) Zbl 1215.90028号 约束条件 16,第1期,100-123(2011).MSC公司:90B35型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{A.Kovács}和\textit{J.C.Beck},约束16,第1期,100-123(2011;Zbl 1215.90028) 全文: DOI程序
科特,玛丽·克劳德;伯纳德·根德伦;克洛德·盖·昆珀;卢梭,路易斯·马汀 轮班调度问题整数规划建模的形式化语言。 (英语) Zbl 1215.90026号 约束条件 16,第1期,54-76(2011).MSC公司:90B35型 68平方米 65年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.-C.科特}等人,《限制条件16》,第1期,第54--76页(2011年;Zbl 1215.90026) 全文: DOI程序
克里斯蒂安·贝西尔;圣埃芬·卡顿;罗穆拉德·德布鲁恩;克利斯朵夫·勒库特 单点弧一致性的高效算法。 (英语) 兹比尔1216.68236 约束条件 16,第1号,25-53(2011).MSC公司:68T20型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{C.Bessiere}等人,《约束16》,第1期,第25-53页(2011年;Zbl 1216.68236) 全文: DOI程序 链接
马可·萨梅尔;斯泽德,斯特凡 扩展的全局基数约束的可追踪情况。 (英语) Zbl 1215.68164号 约束条件 16,第1号,1-24(2011).MSC公司:68卢比 68兰特 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Samer}和\textit{S.Szeider},约束16,第1号,1-24(2011;Zbl 1215.68164) 全文: DOI程序
尼克·威尔逊;格里姆斯、迪尔米德;尤金·弗洛伊德。 基于期望成本的约束满足问题的交叉求解和引出。 (英语) Zbl 1208.68208号 约束条件 15,第4期,540-573(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Wilson}等人,《约束15》,第4期,540-573(2010;Zbl 1208.68208) 全文: DOI程序 链接
马库斯·赞克;马库斯·杰森尼奇尼格;沃尔夫冈·施密德 基于约束的推荐系统中带软约束的偏好推理。 (英语) Zbl 1208.68216号 约束条件 15,第4期,574-595(2010).MSC公司:68层35 PDF格式BibTeX公司 XML格式引用 \textit{M.Zanker}等人,《约束15》,第4期,574--595(2010;Zbl 1208.68216) 全文: DOI程序
李楚敏;很多,费利普;穆罕默德·乌尔德;乔迪,飞机 MaxSAT中基于分辨率的下限。 (英语) Zbl 1208.68204号 约束条件 15,第4期,456-484(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Li}等人,《限制条件》15,第4期,456--484(2010;Zbl 1208.68204) 全文: DOI程序
伊曼纽尔·迪·罗莎;恩里科·金西格里亚;马可·马拉提亚 用偏好解决可满足性问题。 (英语) 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) 全文: DOI程序
赫莱内·法吉尔;爱玛·罗伦;尼克·威尔逊 为部分排序的首选项启用本地计算。 (英语) Zbl 1208.68218号 约束条件 15,第4期,516-539(2010).MSC公司:68层37 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Fargier}等人,《限制条件》第15卷,第4期,第516--539页(2010年;Zbl 1208.68218) 全文: DOI程序 链接
彼得·斯图基(Peter J.Stuckey)。;拉尔夫·贝克特;朱利安·菲舍尔 迷你锌挑战的哲学。 (英语) Zbl 1208.68207号 约束条件 15,第3号,307-316(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Stuckey}等人,《限制条件》15,第3期,307--316(2010;Zbl 1208.68207) 全文: DOI程序
克利斯朵夫·勒库特;奥利维尔·罗塞尔;van Dongen,M.R.C。 通过比赛推广强大的黑盒解决方案。 (英语) Zbl 1208.68203号 约束条件 15,第3期,317-326(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Lecoutre}等人,《限制条件》15,第3期,317--326(2010;Zbl 1208.68203) 全文: DOI程序
日夫尼,斯坦尼斯拉夫;彼得·杰文斯(Peter G.Jeavons)。 可由图割表示的子模块约束类。 (英语) Zbl 1208.68196号 约束条件 15,第3期,430-452(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.ivn}和\textit{P.G.Jeavons},《限制条件》第15卷第3期,第430-452页(2010年;Zbl 1208.68196) 全文: DOI程序
穹顶,费伦茨;阿诺德·诺伊梅尔 二次约束上的约束传播。 (英语) 兹比尔1208.68200 约束条件 15,第3号,404-429(2010).MSC公司:68T20型 90C20个 PDF格式BibTeX公司 XML格式引用 \textit{F.Domes}和\textit{A.Neumaier},约束15,No.3,404--429(2010;Zbl 1208.68200) 全文: DOI程序
法律,Yat Chiu;Lee,Jimmy H.M.(吉米·H·M·李)。;吴,May H.C。 置换加权约束满足问题中的冗余建模。 (英语) Zbl 1208.68202号 约束条件 15,第3期,354-403(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.C.Law}等人,《限制条件》15,第3期,354--403(2010;Zbl 1208.68202) 全文: DOI程序
圣菲省赞佩利;伊夫·迪维尔;克莉丝汀·索尔农 用约束规划解决子图同构问题。 (英语) Zbl 1213.68473号 约束条件 15,第3号,327-353(2010).MSC公司:68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{S.Zampelli}等人,《限制条件》15,第3期,327--353(2010;Zbl 1213.68473) 全文: DOI程序 哈尔
赫莱内·科拉维扎;米歇尔·鲁赫;帕斯卡·范·亨特利克 CPBPV:用于有界程序验证的约束编程框架。 (英语) Zbl 1213.68173号 约束条件 15,第2期,238-264(2010).MSC公司:第68页第17页 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Collavizza}等人,《约束15》,第2期,238--264(2010年;Zbl 1213.68173) 全文: DOI程序 哈尔
Cheng,Kenil C.K。;罗兰·H·C·雅普。 一种基于MDD的正、负表约束和一些全局约束的广义弧一致性算法。 (英语) Zbl 1204.68188号 约束条件 15,第2期,265-304(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.C.K.Cheng}和\textit{R.H.C.Yap},约束15,No.2,265--304(2010;Zbl 1204.68188) 全文: DOI程序
Jean-Marie,诺曼德;亚历山大·戈德斯特恩;马克·克里斯蒂;弗雷德里克·本哈莫 数值Max-CSP的分枝定界算法。 (英语) Zbl 1209.68095号 约束条件 15,第2期,213-237(2010).MSC公司:第68页第17页 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Normand}等人,《约束15》,第2期,第213--237页(2010年;Zbl 1209.68095) 全文: DOI程序
彼得·斯图基(Peter J.Stuckey)。(编辑) 特刊:约束编程的原理和实践。根据2008年9月14日至18日在澳大利亚悉尼举行的第14届国际会议(CP 2008)上的发言选出的论文。 (英语) Zbl 1198.68062号 约束条件15,第2期,149-304(2010年)。 MSC公司:68-06 00时25分 PDF格式BibTeX公司 XML格式
哈德良坎巴扎德;巴里·奥沙利文 “使用功能相关性重新设置表约束——解释生成的应用”勘误表。 (英语) 兹比尔1191.68627 约束条件 15,第1期,145-147(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Cambazard}和\textit{B.O'Sullivan},约束15,第1号,145-147(2010;Zbl 1191.68627) 全文: DOI程序
塞尔达尔·卡迪奥格鲁;梅诺夫·塞尔曼 语法约束。 (英语) Zbl 1191.68364号 约束条件 15,第1期,117-144(2010).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kadioglu}和\textit{M.Sellmann},约束条件15,第1号,117-144(2010;Zbl 1191.68364) 全文: DOI程序
尤金·弗洛伊德。;罗伯特·赫夫南;理查德·华莱士。;尼克·威尔逊 字典序约束满足问题。 (英语) Zbl 1191.68632号 约束条件 15,第1期,1-28页(2010年).MSC公司:68T20型 68周05 PDF格式BibTeX公司 XML格式引用 \textit{E.C.Freuder}等人,《约束15》,第1期,1--28页(2010年;Zbl 1191.68632) 全文: DOI程序
彼得·南丁格尔 非二进制量化CSP:算法和建模。 (英语) Zbl 1186.68441号 约束条件 14,第4期,539-581(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Nightingale},约束14,No.4,539--581(2009;Zbl 1186.68441) 全文: DOI程序
阿什什·萨巴沃尔 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) 全文: DOI程序