乌特库·乌穆尔·阿奇卡林;布格拉·卡斯库鲁;苏布拉马尼,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) 全文: 内政部
简·德雷尔;塞巴斯蒂安·奥德尼亚克;斯泽德,斯特凡 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) 全文: 内政部 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) 全文: 内政部 哈尔
费利克斯·乌尔里希·奥尔坦;彼得·南丁格尔;詹姆斯·阿尔弗雷德·沃克 学习为伪布尔和线性整数约束选择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) 全文: 内政部 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) 全文: 内政部 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) 全文: 内政部
勒斯特姆·塔哈诺夫 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) 全文: 内政部 arXiv公司
马特奥·扎瓦特里;爱丽丝·拉斐尔;达里奥·奥斯图尼;罗密欧·里兹 选言时间问题的跨学科实验评价。 (英语) Zbl 1522.68519号 约束条件 28,编号1,1-12(2023).MSC公司:68分20秒 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Zavatteri}等人,《约束》28,第1期,第1-12页(2023年;Zbl 1522.68519) 全文: 内政部
玛丽·路易斯·莱克纳;克里斯托夫·马尔科维奇;尼斯雷特·穆斯利乌;丹尼尔·沃尔基维奇;费利克斯·温特 烤箱调度问题的精确方法。 (英语) Zbl 1521.90067号 约束条件 28,编号2,320-361(2023).MSC公司:90B35型 90立方厘米 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{M.-L.Lackner}等人,约束28,No.2,320-361(2023;Zbl 1521.90067) 全文: 内政部 arXiv公司
托马斯·德拉斯克;汤姆·沃纳;西蒙·德·吉夫里 加权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) 全文: 内政部 arXiv公司
托马斯·德拉斯克;汤姆·沃纳 线性不等式系统中的活动传播及其与线性规划中块坐标下降的关系。 (英语) Zbl 07738740号 约束条件 28,编号2,244-276(2023).MSC公司:90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{T.Dlask}和\textit{T.Werner},约束28,No.2,244--276(2023;Zbl 07738740) 全文: 内政部
伊兰凯科内Senthooran;马蒂亚斯·克拉珀斯图克;格列布·贝洛夫;托拜厄斯·科扎德纳;利奥,凯文;马克·华莱士;迈克尔·怀布罗;玛丽亚·加西亚·德拉班达 实践中以人为本的可行性恢复。 (英语) Zbl 07738739号 约束条件 28,第2期,203-243(2023).MSC公司:90C27型 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{I.Senthooran}等人,约束28,No.2,203--243(2023;Zbl 07738739) 全文: 内政部
波亚·沙蒂;科恩、埃尔丹;希拉·麦克拉伊思。 基于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) 全文: 内政部
艾格尼斯·塞赫;纪尧姆·埃斯卡莫彻;路易斯·奎萨达 计算具有循环偏好的三维稳定匹配问题的松弛。 (英语) Zbl 1522.91165号 约束条件 28,第2期,138-165(2023).MSC公司:91B68型 PDF格式BibTeX公司 XML格式引用 \textit{á.Cseh}等人,《限制条件》28,第2期,138--165(2023年;Zbl 1522.91165) 全文: 内政部
曼纽尔·博迪尔斯基;布林,雅库布;弗洛里安·斯塔克;迈克尔·温塔勒 最小的硬树。 (英语) 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) 全文: 内政部 arXiv公司
约翰·韦森;Carlsson,马茨;克里斯蒂安·舒尔特;皮埃尔·弗莱纳;费德里科·佩科拉;马茨金、米哈伊 双臂多工具装配机器人调度和工作空间布局设计的约束规划模型。 (英语) Zbl 1521.90074号 约束条件 28,第2期,第71-104页(2023年).MSC公司:90B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Wessén}等人,《限制条件》28,第2期,第71--104页(2023年;Zbl 1521.90074) 全文: 内政部
索夫拉纳克,波罗;安布罗斯·格莱克斯纳;塞巴斯蒂安·波库塔 线性约束传播的算法相关进度度量。 (英语) Zbl 1510.90191号 约束条件 27,编号4,432-455(2022).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Sofranac}等人,约束27,No.4,432--455(2022;Zbl 1510.90191) 全文: 内政部 arXiv公司
路易斯·皮埃尔·坎波;米歇尔·加马奇 使用约束规划对地下矿山规划进行中短期优化。 (英语) Zbl 1512.90087号 约束条件 27,第4号,414-431(2022).MSC公司:90B35型 90C26型 PDF格式BibTeX公司 XML格式引用 \textit{L.-P.Campeau}和\textit{M.Gamache},约束27,No.4,414--431(2022;Zbl 1512.90087) 全文: 内政部
马修·瓦维尔;夏洛特·特鲁切特;查尔斯·普鲁德霍姆 具有随机表约束的解决方案采样。 (英语) 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) 全文: 内政部 哈尔
乔昂·阿劳乔;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) 全文: 内政部 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) 全文: 内政部 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) 全文: 内政部
切赫,阿格内斯;纪尧姆·埃斯卡莫彻;贝圭姆将军;路易斯·奎萨达 具有循环偏好的三维稳定匹配问题的约束规划模型集合。 (英语) Zbl 1498.91280号 约束条件 27,第3号,249-283(2022).MSC公司:91B68型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{á.Cseh}等人,限制27,No.3,249--283(2022;Zbl 1498.91280) 全文: 内政部
扬尼克·卡里桑;丹尼斯·哈格巴姆·雷格尼尔;尼古拉斯·普尔科维奇;西里尔·特里奥克斯;阿德里安·瓦雷特 约束编程如何帮助化学家生成苯系物结构并评估苯系物的局部芳香性。 (英语) Zbl 1498.92327号 约束条件 27,第3期,192-248(2022).MSC公司:92年10月 05C92年 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Carissan}等人,约束27,No.3,192--248(2022;Zbl 1498.92327) 全文: 内政部 链接
德阿泽夫多·西尔维拉(de Azevedo Silveira,Guilherme) 生成魔法和使用约束编程设计魔法性能。 (英语) Zbl 07594542号 约束条件 168-191年3月27日(2022年).MSC公司:20亿 05轴 05亿xx PDF格式BibTeX公司 XML格式引用 \textit{G.de Azevedo Silveira},约束27,No.3,168--191(2022;Zbl 07594542) 全文: 内政部
巴纳比·马丁;贾斯汀·皮尔逊 当边界一致性意味着常规计数约束的域一致性。 (英语) 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) 全文: 内政部
安东尼奥·加里多 一种基于约束的方法,用于从多个计划中学习动作模型的时间特征。 (英语) 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) 全文: 内政部
安东尼·卡拉哈利奥斯;威廉·扬·范霍夫 决策图的变量排序:组合方法。 (英语) 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) 全文: 内政部
宫崎骏小村;艾米·渡边;Yuko Sakurai;Makoto Yokoo公司 团划分问题的简明整数线性规划公式。 (英语) Zbl 1495.90225号 约束条件 27,编号1-2,99-115(2022).MSC公司:90立方厘米 90C27型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Koshimura}等人,《限制条件》27,编号1--2,99-115(2022;Zbl 1495.90225) 全文: 内政部
Joshi,Chaitanya K。;盖零件,昆廷;卢梭,路易斯·马汀;托马斯·洛朗 学习旅行推销员问题需要重新思考泛化。 (英语) Zbl 1495.90156号 约束条件 27,编号1-2,70-98(2022).MSC公司:90C27型 90B10型 PDF格式BibTeX公司 XML格式引用 \textit{C.K.Joshi}等人,约束27,No.1--2,70-98(2022;Zbl 1495.90156) 全文: 内政部 arXiv公司
罗伯特·巴格纳拉;阿布拉莫·巴格纳拉;法比奥·比塞利;米歇尔·齐亚里;罗伯塔·戈里 用于程序验证的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) 全文: 内政部 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) 全文: 内政部 反向链接: 卫生官员
迪米特里·尤斯特阿·阿莱雷;查尔斯·普鲁德霍姆 用于表达和跨域约束编程的全局域视图。 (英语) 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) 全文: 内政部
贾纳·科勒;约瑟夫·伯格勒;乌尔斯·丰塔纳;艾蒂安·福克斯;弗洛里安·赫尔佐格;马克·波利;索菲亚·萨勒;阿纳斯塔西亚·萨利亚耶娃;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) 全文: 内政部 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) 全文: 内政部
雨晨·庞;卡尔顿·科夫林;安德烈·洛霍夫。;马克·瓦夫雷 量子退火在快速溶液结构识别中的潜力。 (英语) 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) 全文: 内政部 arXiv公司
Ondřej省Benedikt;伊斯坦布尔莫多斯;Zdeněk Hanzálek 预处理能力:具有可变能源定价和节能状态的生产调度。 (英语) Zbl 1511.90160号 约束条件 25,编号3-4,300-318(2020).MSC公司:90B35型 PDF格式BibTeX公司 XML格式引用 \textit{O.Benedikt}等人,《限制条件》25,编号3--4,300-318(2020;Zbl 1511.90160) 全文: 内政部 arXiv公司
埃曼纽尔·希伯拉德(编辑);尼斯雷特·穆斯利乌(编辑) CPAIOR 2020快车道问题简介。 (英语) Zbl 1476.00095号 约束条件 25,编号3-4,298-299(2020).MSC公司:00B25型 90-06年 68-06 PDF格式BibTeX公司 XML格式引用 \textit{E.Hebrard}(编辑)和textit{N.Musliu}(编),约束25,No.3--4,298--299(2020;Zbl 1476.00095) 全文: 内政部
后藤,Hiroyuki;艾伦·T·莫里。 关键链项目管理问题的精确而灵活的解决方案。 (英语) Zbl 1479.90089号 约束条件 25,编号3-4,280-297(2020).MSC公司:90B35型 90立方厘米 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{H.Goto}和\textit{A.T.Murray},约束25,No.3--4280-297(2020;Zbl 1479.90089) 全文: 内政部
罗德里格·科南·钦达;贾梅尼、克莱门汀·塔尤 证明基于动态对称处理的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) 全文: 内政部
赫莱内·维哈盖;齐格弗里德·尼杰森;吉尔斯·佩森特;克洛德·盖·昆珀;皮埃尔·绍斯 使用约束规划学习最优决策树。 (英语) Zbl 07446942号 约束条件 25,编号3-4,226-250(2020).MSC公司:62件 62华夏 62至XX PDF格式BibTeX公司 XML格式引用 \textit{H.Verhaeghe}等人,《限制条件》25,No.3--4,226--250(2020;Zbl 07446942) 全文: 内政部
迪莫斯坦尼斯·索罗斯(Dimostenis C.Tsouros)。;科斯塔斯·斯特乔 高效的多约束获取。 (英语) Zbl 1483.90067号 约束条件 25,编号3-4,180-225(2020).MSC公司:90B50型 PDF格式BibTeX公司 XML格式引用 \textit{D.C.Tsouros}和\textit{K.Stergiou},约束25,No.3--4,180-225(2020;Zbl 1483.90067) 全文: 内政部 arXiv公司
穆罕默德·哈桑。哈菲兹;帕斯卡·范·亨特利克 灵活和实时的通勤出行共享问题。 (英语) Zbl 1479.90092号 约束条件 25,编号3-4,160-179(2020).MSC公司:90B35型 90B06型 90B20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Mohd.H.Hasan}和\textit{P.Van Hentenryck},《限制条件》25,第3期,第4期,第160期,第179页(2020年;Zbl 1479.90092) 全文: 内政部
奥尔加·特维雷蒂纳;巴维尔·扎伊琴科夫;亚历克斯·沙法伦科 通过约束满足实现组件接口的非局部配置。 (英语) 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) 全文: 内政部 arXiv公司
叶卡捷琳娜·阿拉法利奥娃;尼古拉斯·贝尔迪塞努;赫尔穆特·西蒙尼斯 时间序列约束的不变量。 (英语) Zbl 1479.90114号 约束条件 25,编号3-4,71-120(2020).MSC公司:90B50型 PDF格式BibTeX公司 XML格式引用 \textit{E.Arafailova}等人,约束25,No.3--4,71-120(2020;Zbl 1479.90114) 全文: 内政部 链接
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) 全文: 内政部
奥姆拉尼,穆罕默德·阿明;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) 全文: 内政部
瓦迪姆·莱维特;佐哈尔·科马罗夫斯基;塔尔·格林斯彭;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) 全文: 内政部
安东尼·帕尔米耶里;阿尔诺·拉洛伊特;吕克·蓬斯 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) 全文: 内政部 哈尔
米查·卡宾斯基;马雷克·彼得罗 使用多路合并选择网络编码基数约束。 (英语) 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) 全文: 内政部
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) 全文: 内政部
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) 全文: 内政部
阿奇利奥普塔斯,迪米特里斯;帕诺斯·西奥多罗普洛斯 使用纠错代码进行模型计数。 (英语) 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) 全文: 内政部
查、奥龙;宫崎骏小村;藤田,广岛 \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) 全文: 内政部
科斯塔斯·斯特乔 邻域单元素一致性。 (英语) Zbl 1468.68207号 约束条件 24,第1期,94-131(2019).MSC公司:68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{K.Stergiou},约束24,No.1,94--131(2019;Zbl 1468.68207) 全文: 内政部
迭戈·德乌尼亚;格雷姆·恒河;彼得·沙赫特;彼得·斯图基(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) 全文: 内政部
廖晓娟;宫崎骏小村;川崎野本;铃木上田;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) 全文: 内政部
科迪什,迈克尔;爱丽丝·米勒;帕特里克·普洛瑟;彼得·斯图基(Peter J.Stuckey)。 图形表示中对称破缺的约束。 (英语) Zbl 1425.05099号 约束条件 24,第1号,1-24(2019).MSC公司:05C62号 PDF格式BibTeX公司 XML格式引用 \textit{M.Codish}等人,《限制条件24》,第1号,1-24(2019年;Zbl 1425.05099) 全文: 内政部 链接
朱利安·维昂;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) 全文: 内政部
亚历山大·希恩多夫;亚历山大·纳普;杰里特·安德斯;沃尔夫冈·雷夫 MiniBrass:MiniZin的软约束。 (英语) Zbl 1430.90525号 约束条件 23,第4号,403-450(2018).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Schiendorfer}等人,约束23,No.4,403--450(2018;Zbl 1430.90525) 全文: 内政部 链接
恩里科·金西格里亚;马可·马拉提亚;卢卡·普利纳 基于翻译的方法,用于解决具有偏好的析取时间问题。 (英语) Zbl 1468.68201号 约束条件 23,第4号,383-402(2018).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,《限制条件》23,第4期,383--402(2018年;Zbl 1468.68201) 全文: 内政部 链接
艾尔·穆埃利,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) 全文: 内政部
迈克尔·莫林;Margarita P.卡斯特罗。;凯尔·E·C·布斯。;Tran,Tony T。;刘,张;克里斯托弗·贝克 入侵者警报!求解移动机器人图形清晰问题的优化模型。 (英语) Zbl 1402.90102号 约束条件 23,第3号,335-354(2018).MSC公司:90立方厘米 91A24型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{M.Morin}等人,约束23,No.3,335--354(2018;Zbl 1402.90102) 全文: 内政部 链接
罗宾逊·杜克;亚历杭德罗·阿尔贝莱兹;胡安·迪亚斯(Juan F.Díaz)。 组合问题的在线实时处理。 (英语) 兹比尔1402.90145 约束条件 23,第3号,310-334(2018).MSC公司:90C27型 90B35型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Duque}等人,约束条件23,第3号,310-334(2018;Zbl 1402.90145) 全文: 内政部
马蒂奥·菲舍蒂;乔,杰森 深度神经网络和混合整数线性优化。 (英语) 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) 全文: 内政部 arXiv公司
威廉·扬·范霍夫(编辑) 2018年CPAIOR快车道问题简介。 (英语) Zbl 1401.00048号 约束条件 23,第3期,294-295(2018).MSC公司:00B25型 90-06年 PDF格式BibTeX公司 XML格式引用 \textit{W.-J.van Hoeve}(编辑),约束23,第3号,294--295(2018;Zbl 1401.00048) 全文: 内政部
哈米德·法希米;亚尼克·欧莱特;克洛德·盖·昆珀 分离约束的线性时间滤波算法和累积非第一非最大的二次滤波算法。 (英语) 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) 全文: 内政部 链接
纪尧姆·德瓦尔;雷金、珍妮·查尔斯;皮埃尔·绍斯 改进了带有基数约束的bin-packing的过滤。 (英语) Zbl 1402.90144号 约束条件 23,第3期,251-271(2018).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Derval}等人,约束23,第3号,251--271(2018;Zbl 1402.90144) 全文: 内政部
菲利普·拉博里;杰罗姆·罗杰里;保罗·肖;彼得·维利姆 用于调度的IBM ILOG CP优化器。在IBM/ILOG有20多年的时间安排限制。 (英语) Zbl 1400.90169号 约束条件 23,第2号,210-250(2018).MSC公司:90B35型 90C27型 90-03 01A61号 90-04 PDF格式BibTeX公司 XML格式引用 \textit{P.Laborie}等人,《限制条件》23,第2期,第210--250页(2018年;Zbl 1400.90169) 全文: 内政部
伊门兹吉迪;赫尼奇,卜拉欣;阿卜杜勒瓦赫布·里巴伊 利用机会约束建模不确定性。 (英语) Zbl 1402.90160号 约束条件 23,第2期,196-209(2018).MSC公司:90C27型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{I.Zghidi}等人,《限制条件》23,第2期,196--209(2018;Zbl 1402.90160) 全文: 内政部
胡克,J.N。;瓦恩·霍伊夫。 约束编程和操作研究。 (英语) Zbl 1402.90148号 约束条件 23,第2期,172-195(2018).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Hooker}和\textit{W.J.van Hoeve},约束23,第2号,172--195(2018;Zbl 1402.90148) 全文: 内政部
尤金·弗洛伊德。 圣杯的进展。 (英语) Zbl 1402.90178号 约束条件 23,第2期,158-171(2018).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{E.C.Freuder},约束23,No.2,158--171(2018;Zbl 1402.90178) 全文: 内政部
阿纳斯州阿尔加西;玛丽·库兹(Mary E.Kurz)。 混合模型线平衡与平行站、分区约束和人体工程学。 (英语) Zbl 1414.90233号 约束条件 23,第1期,123-153(2018).MSC公司:90立方厘米 90B30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Alghazi}和\textit{M.E.Kurz},《限制条件》23,第1期,第123--153页(2018;Zbl 1414.90233) 全文: 内政部
Van Cauwelaert,萨沙;米歇尔·伦巴第;皮埃尔·绍斯 全球约束在实践中的效率如何?一个公平的实验框架。 (英语) Zbl 1394.90431号 约束条件 23,第1号,87-122(2018).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Van Cauwelaert}等人,《限制条件》23,第1期,87-122(2018;Zbl 1394.90431) 全文: 内政部
叶卡捷琳娜·阿拉法利奥娃;尼古拉斯·贝尔迪塞努;赫尔穆特·西蒙尼斯 基于正则表达式特征导出时间序列约束的通用边界。 (英语) Zbl 1396.90047号 约束条件 23,第1号,44-86(2018).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Arafailova}等人,约束23,No.1,44--86(2018;Zbl 1396.90047) 全文: 内政部 arXiv公司
费迪南多·菲奥雷托;恩里科·蓬泰利;Yeoh,William威廉;丽娜·德希特 使用GPU加速(分布式)离散优化的精确和近似推理。 (英语) Zbl 1395.90187号 约束条件 23、1号、1-43(2018).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioretto}等人,《限制条件23》,第1期,1-43页(2018年;Zbl 1395.90187) 全文: 内政部 arXiv公司
阿米娜·凯玛;雅希亚·利巴;萨米尔·劳德尼;帕特里斯·博伊祖马尔;查诺伊斯、蒂埃里 序列模式挖掘的前缀-投影全局约束和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) 全文: 内政部
Nguyen,Hiep(希普·阮);克里斯蒂安·贝西尔;西蒙·德·吉夫里;托马斯·希克斯 成本函数网络的基于三角形的一致性。 (英语) Zbl 1390.90116号 约束条件 22,第2号,230-264(2017).MSC公司:90B10型 PDF格式BibTeX公司 XML格式引用 \textit{H.Nguyen}等人,《限制条件》22,第2期,230--264(2017;Zbl 1390.90116) 全文: 内政部 链接
菲利普·杰古;西里尔·特里奥克斯 结合重新启动、nogood和bag-connected分解来求解csp。 (英语) Zbl 1384.90113号 约束条件 第2191-229号第22页(2017年).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Jégou}和\textit{C.Terrioux},约束22,第2号,191--229(2017;Zbl 1384.90113) 全文: 内政部 链接
卡洛·科明;罗伯托·波塞纳托;罗密欧·里兹 超时间网络。简单时间网络的一个易处理的推广及其与平均支付博弈的关系。 (英语) Zbl 1390.90102号 约束条件 22,第2期,152-190(2017).MSC公司:90B10型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Comin}等人,《约束》22,第2期,152--190(2017;Zbl 1390.90102) 全文: 内政部
米歇尔,L。;Van Hentenryck,P。 用于约束编程的微内核体系结构。 (英语) Zbl 1390.90520号 约束条件 第2107-151号第22页(2017年).MSC公司:90立方 90-04 PDF格式BibTeX公司 XML格式引用 \textit{L.Michel}和\textit{P.Van Hentenryck},《约束》22,第2期,第107--151页(2017;Zbl 1390.90520) 全文: 内政部 arXiv公司
阿尼塞特·巴特;夏洛特·特鲁切特;埃里克·蒙弗罗伊 实时流过近似的全局约束。 (英语) Zbl 1387.90206号 约束条件 22,第3号,463-490(2017).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bart}等人,《约束》22,第3期,463--490(2017;Zbl 1387.90206) 全文: 内政部
斯特凡·克雷特;安德烈亚斯·舒特;彼得·斯图基(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) 全文: 内政部
马斯鲍尔·阿拉姆(Md Masbaul Alam)·波拉什(Polash);牛顿,M.A.哈基姆;阿卜杜勒·萨塔尔 所有区间序列的约束定向搜索。 (英语) 兹比尔1387.90225 约束条件 22,第3期,403-431(2017).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{M.M.A.Polash}等人,《限制条件22》,第3号,403-431(2017年;Zbl 1387.90225) 全文: 内政部 链接
科斯塔斯·斯特乔 重新查看受限路径一致性。 (英语) Zbl 1387.90126号 约束条件 22,第3期,377-402(2017).MSC公司:2009年9月90日 PDF格式BibTeX公司 XML格式引用 \textit{K.Stergiou},约束22,No.3,377--402(2017;Zbl 1387.90126) 全文: 内政部
亚什·普兰尼克;尼古拉斯五世·萨希尼迪斯。 全局NLP和MINLP优化的域约简技术。 (英语) Zbl 1387.90164号 约束条件 22,第3号,338-376(2017).MSC公司:90立方厘米 90C26型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Puranik}和\textit{N.V.Sahinidis},约束条件22,第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) 全文: 内政部
约翰·奥加(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) 全文: 内政部 链接
玛歌·纳塔夫;Artigues,克里斯蒂安;皮埃尔·洛佩兹 具有可变任务配置文件和凹分段线性处理率函数的累积调度。 (英语) Zbl 1384.90047号 约束条件 22,第4期,530-547(2017).MSC公司:90B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Nattaf}等人,《约束》22,第4期,530--547(2017;Zbl 1384.90047) 全文: 内政部 哈尔
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) 全文: 内政部
范·考维拉尔特(Sascha van Cauwelaert);皮埃尔·绍斯 有效过滤资源成本所有不同的约束。 (英语) Zbl 1387.90148号 约束条件 22,第4期,493-511(2017).MSC公司:90立方厘米 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{S.van Cauwelaert}和\textit{P.Schaus},约束22,第4号,493--511(2017;Zbl 1387.90148) 全文: 内政部
埃曼纽尔·希伯拉德;Marie-JoséHuguet;丹尼尔·维瑟尔;卢奥迪尔·博切·沙万;贝特朗·卡邦 用于规划通信卫星测试活动的约束编程。 (英语) Zbl 1387.90134号 约束条件 22,第1期,73-89(2017).MSC公司:90立方厘米 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{E.Hebrard}等人,《限制条件》22,第1期,第73--89页(2017年;Zbl 1387.90134) 全文: 内政部 arXiv公司
大卫·F·曼洛夫。;伊恩·麦克布莱德;詹姆斯·特里姆布尔 医院/住户与夫妇的“最稳定”匹配问题。 (英语) Zbl 1387.90143号 约束条件 22,第1期,50-72(2017).MSC公司:90立方厘米 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{D.F.Manlove}等人,《限制》22,第1期,50--72(2017;Zbl 1387.90143) 全文: 内政部 arXiv公司
克里希纳穆尔西·德维约塔姆;迈克尔·切尔特科夫;帕斯卡·范·亨特利克;马克·瓦夫雷;西德汉·米斯拉 最佳功率流的图形模型。 (英语) Zbl 1387.90262号 约束条件 22,第1期,24-49(2017).MSC公司:90立方厘米 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{K.Dvijotham}等人,《约束》22,第1期,第24-49页(2017年;Zbl 1387.90262) 全文: 内政部 arXiv公司 链接
科恩,大卫·A。;彼得·杰文斯(Peter G.Jeavons)。 传播的力量:当GAC足够时。 (英语) Zbl 1387.90130号 约束条件 22,第1号,3-23(2017).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Cohen}和\textit{P.G.Jeavons},《限制条件》22,第1期,第3--23期(2017年;Zbl 1387.90130) 全文: 内政部
龙,顺其;Ku、Wen-Yang;克里斯托弗·贝克 \(\mathbb{Q}\)-为传播具有可变平均值的约束。 (英语) 兹伯利1368.90109 约束条件 21,第4期,646-652(2016).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.C.Loong}等人,《约束21》,第4期,646--652(2016;Zbl 1368.90109) 全文: 内政部
尤塞夫·奥伦;羊毛,Avishai 使用伪布尔优化的边通道加密攻击。 (英语) Zbl 1368.94121号 约束条件 21,第4期,616-645(2016).MSC公司:94A60型 2009年9月90日 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{Y.Oren}和\textit{A.Wool},《限制》21,第4期,616--645(2016;Zbl 1368.94121) 全文: 内政部
菲利普·维斯马拉;雷米·科莱塔;Gilles Trombettoni 葡萄酒调配的约束全局优化。 (英语) Zbl 1368.90133号 约束条件 21,第4期,597-615(2016).MSC公司:90C26型 90立方厘米 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{P.Vismara}等人,《约束21》,第4期,597--615(2016;Zbl 1368.90133) 全文: 内政部 链接
让·贝特朗·戈蒂尔;安托万·勒格拉因 不确定性下的手术室管理。 (英语) Zbl 1368.90147号 约束条件 第4期第21页,第577-596页(2016年).MSC公司:90立方 90立方厘米 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Gauthier}和\textit{A.Legrain},约束21,第4号,577--596(2016;Zbl 1368.90147) 全文: 内政部
卢克·杰林 具有不可区分地标的远程SLAM;约束编程方法。 (英语) Zbl 1368.90108号 约束条件 第4期第21页,第557-576页(2016年).MSC公司:90立方厘米 90立方厘米 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{L.Jaulin},约束21,No.4,557--576(2016;Zbl 1368.90108) 全文: 内政部