简·德雷尔;塞巴斯蒂安·奥德尼亚克;斯泽德,斯特凡 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许可证
费利克斯·乌尔里希·奥尔坦;彼得·南丁格尔;詹姆斯·阿尔弗雷德·沃克 学习为伪布尔和线性整数约束选择SAT编码。 (英语) Zbl 07805094号 约束条件 28,第3期,397-426(2023年).MSC公司:65克10 68T05型 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{F.Ulrich-Oltean}等人,《限制条件》28,No.3,397--426(2023;Zbl 07805094) 全文: 内政部 arXiv公司 OA许可证
鲁斯特姆·塔哈诺夫 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公司:68T20型 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公司
约翰·韦森;卡尔森,Mats;克里斯蒂安·舒尔特;Flener,皮埃尔;费德里科·佩科拉;马茨金、米哈伊 双臂多工具装配机器人调度和工作空间布局设计的约束规划模型。 (英语) 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) 全文: 内政部
彼得·库切拉;彼得·萨维克 传播平滑DNNF理论的完整编码。 (英语) Zbl 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公司
巴纳比·马丁;贾斯汀·皮尔逊 当边界一致性意味着常规计数约束的域一致性。 (英语) Zbl 07594541号 约束条件 27,第3期,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) 全文: 内政部
宫崎骏小村;艾米·渡边;樱井裕子;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) 全文: 内政部
阿夫拉罕·伊扎科夫;迈克尔·科迪什 唯一哈密顿图类的完全对称破缺约束。 (英语) 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) 全文: 内政部 反向链接: 卫生官员
Justeau Allaire,迪米特里;查尔斯·普鲁德霍姆 用于表达和跨域约束编程的全局域视图。 (英语) 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先生;凯·瓦尔蒂 电缆树布线–对具有各种优先约束的实际调度问题进行基准测试求解器。 (英语) 兹布尔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公司
安大略省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公司
罗德里格·科南·钦达;贾梅尼、克莱门汀·塔尤 证明基于动态对称处理的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 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)。;安德烈·洛迪;卢梭,路易斯·马汀 集成整数规划和决策图搜索树,并应用于最大独立集问题。 (英语) Zbl 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) 全文: 内政部
安东尼·帕尔米耶里;阿尔诺·拉洛伊特;庞斯,吕克 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) 全文: 内政部
Houndji,Vinasetan Ratheil公司;皮埃尔·绍斯;劳伦斯·沃尔西 依赖于物料的库存成本约束。 (英语) Zbl 1430.90230号 约束条件 24,第2期,183-209(2019).MSC公司:90B30型 90B35型 90B05型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{V.R.Houndji}等人,《限制条件》24,第2期,183--209(2019年;Zbl 1430.90230) 全文: 内政部
阿奇利奥普塔斯,迪米特里斯;帕诺斯·西奥多罗普洛斯 使用纠错代码进行模型计数。 (英语) Zbl 1483.68242号 约束条件 24,第2期,162-182(2019).MSC公司:68兰特 68T20型 68瓦20 94B35码 PDF格式BibTeX公司 XML格式引用 \textit{D.Achlioptas}和\textit{P.Theodoropulos},约束条件24,第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公司:68T20型 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年;Zbl 1468.68195) 全文: 内政部
迈克尔·科迪什;爱丽丝·米勒;帕特里克·普洛瑟;彼得·斯图基(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号 约束条件 23,第4号,451-480(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) 全文: 内政部 链接
艾尔·穆埃利,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) 全文: 内政部
哈米德·法希米;亚尼克·欧莱特;克洛德·盖·昆珀 分离约束的线性时间滤波算法和累积非第一非最大的二次滤波算法。 (英语) Zbl 1457.90067号 约束条件 23,第3号,272-293(2018).MSC公司:90B35型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Fahimi}等人,《限制条件23》,第3期,272–293(2018;兹bl 1457.90067) 全文: 内政部 链接
纪尧姆·德瓦尔;雷金、珍妮·查尔斯;皮埃尔·绍斯 改进了对具有基数约束的bin包装的过滤。 (英语) Zbl 1402.90144号 约束条件 23,第3期,251-271(2018).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Derval}等人,约束23,第3号,251--271(2018;Zbl 1402.90144) 全文: 内政部
伊曼·兹吉迪;赫尼奇,卜拉欣;阿卜杜勒瓦赫布·里巴伊 利用机会约束建模不确定性。 (英语) 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公司
Nguyen,Hiep(希普·阮);克里斯蒂安·贝西尔;西蒙·德·吉夫里;托马斯·希克斯 成本函数网络的基于三角形的一致性。 (英语) 兹比尔139090116 约束条件 22,编号: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号 约束条件 22,第2期,191-229(2017).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Jégou}和\textit{C.Terrioux},约束22,第2号,191--229(2017;Zbl 1384.90113) 全文: 内政部 链接
卡洛·科明;罗伯托·波塞纳托;罗密欧·里兹 超时间网络。简单时间网络的一个易处理的推广及其与平均支付博弈的关系。 (英语) 兹比尔139090102 约束条件 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号 约束条件 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) 全文: 内政部
科斯塔斯·斯特乔 重新查看受限路径一致性。 (英语) Zbl 1387.90126号 约束条件 22,第3期,377-402(2017).MSC公司:90C09型 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,No.3,338--376(2017;Zbl 1387.90164) 全文: 内政部 arXiv公司
约翰·奥加(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.德克尔。;古斯塔夫·比约达尔;卡尔森,Mats;Flener,皮埃尔;珍妮·诺埃尔·莫内特 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公司
克里希纳穆尔西·德维约塔姆;迈克尔·切尔特科夫;帕斯卡·范·亨特利克;马克·武夫雷;西德汉·米斯拉 最佳功率流的图形模型。 (英语) 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) 全文: 内政部
卢克·杰林 具有不可区分地标的远程SLAM;约束编程方法。 (英语) Zbl 1368.90108号 约束条件 21,第4期,557-576(2016).MSC公司:90立方厘米 90立方厘米 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{L.Jaulin},约束21,No.4,557--576(2016;Zbl 1368.90108) 全文: 内政部
大卫·伯格曼;安德烈·西尔(Andre A.Cire)。 基于决策图的优化的理论见解和算法工具。 (英语) Zbl 1368.90105号 约束条件 21,第4期,533-556(2016).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Bergman}和\textit{A.A.Cire},约束21,第4号,533--556(2016;Zbl 1368.90105) 全文: 内政部 链接
尼娜·纳罗季斯卡;蒂埃里·佩蒂特;穆罕默德·西亚拉;托比·沃尔什 FOCUS约束的三种推广。 (英语) Zbl 1368.90110号 约束条件 21,第4期,495-532(2016).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Narodytska}等人,《约束条件21》,第4期,495-532(2016年;Zbl 1368.90110) 全文: 内政部 arXiv公司 链接
班科维奇,米兰 支持有限域的SMT求解器的扩展都不一样约束。 (英语) Zbl 1409.68266号 约束条件 21,第4期,463-494(2016).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Banković},约束条件21,编号4,463-494(2016;Zbl 1409.68266) 全文: 内政部
米歇尔·伦巴第;斯特凡诺·瓜兰迪 约束规划中人工神经网络的拉格朗日传播算子。 (英语) 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) 全文: 内政部
巴里,赫尔利;巴里·奥沙利文;阿洛奇,大卫;乔治·卡特西雷洛斯;托马斯·希克斯;马蒂亚斯·兹特尼基;西蒙·德·吉夫里 图形模型离散优化中精确解的多语言评估。 (英语) 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) 全文: 内政部
迈克尔·科迪什;迈克尔·弗兰克;阿夫拉罕·伊扎科夫;爱丽丝·米勒 使用抽象和对称破缺计算拉姆齐数(R(4,3,3))。 (英语) Zbl 1368.05046号 约束条件 21,第3号,375-393(2016).MSC公司:05C15号 PDF格式BibTeX公司 XML格式引用 \textit{M.Codish}等人,《约束21》,第3期,375--393(2016;Zbl 1368.05046) 全文: 内政部 arXiv公司
阿夫拉罕·伊扎科夫;迈克尔·科迪什 用经典集打破图搜索中的对称性。 (英语) Zbl 1368.90137号 约束条件 21,第3期,357-374(2016).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Itzhakov}和\textit{M.Codish},约束21,第3号,357--374(2016;Zbl 1368.90137) 全文: 内政部 arXiv公司
El Graoui、El Mehdi;伊马德·贝内拉拉姆;El Houssine Bouyakhf 关于“动态CSP中最小扰动的混合搜索”的评论。 (英语) Zbl 1334.90172号 约束条件 21,第2期,349-354(2016).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.M.El Graoui}等人,《约束21》,第2期,349--354(2016;Zbl 1334.90172) 全文: 内政部
卢卡·迪·加斯佩罗;安德烈亚·伦德尔;托马索·乌利 利用约束编程平衡自行车共享系统。 (英语) Zbl 1334.90078号 约束条件 21,第2号,318-348(2016).MSC公司:90立方厘米 90B20型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{L.Di Gaspero}等人,《约束21》,第2期,第318--348页(2016年;Zbl 1334.90078) 全文: 内政部
阿米拉·德姆斯;卢梭,路易斯·马汀;Jean-Marc弗雷特 具有逆向决策的木材采购问题的混合约束规划方法。 (英语) Zbl 1334.90084号 约束条件 21,第2号,303-317(2016).MSC公司:90立方厘米 91B76号 PDF格式BibTeX公司 XML格式引用 \textit{A.Dems}等人,《约束21》,第2期,303--317(2016;Zbl 1334.90084) 全文: 内政部
阿列克谢·伊格纳提耶夫;米科拉什,雅诺塔;若昂·西尔瓦侯爵 量化最大可满足性。 (英语) Zbl 1334.90075号 约束条件 21,第2期,277-302(2016).MSC公司:90C09型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ignatiev}等人,《约束21》,第2期,277--302(2016;Zbl 1334.90075) 全文: 内政部
马克·利菲顿。;亚历山德罗·普雷维蒂;阿马尔·马利克;若昂·西尔瓦侯爵 快速、灵活的MUS枚举。 (英语) Zbl 1334.90080号 约束条件 第2223-250号第21页(2016年).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Liffiton}等人,《约束21》,第2期,223--250(2016;Zbl 1334.90080) 全文: 内政部
叶夫根尼·托尔斯滕森 全局约束问题的结构分解。 (英语) 兹比尔1334.90192 约束条件 21,第2期,198-222(2016).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Thorstensen},约束21,第2号,198--222(2016;Zbl 1334.90192) 全文: 内政部 arXiv公司
阿纳斯塔西亚·帕帕里佐;科斯塔斯·斯特乔 针对表约束的强局部一致性算法。 (英语) Zbl 1334.90169号 约束条件 21,第2期,163-197(2016).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Paparrizou}和\textit{K.Stergiou},约束21,第2期,163--197(2016;Zbl 1334.90169) 全文: 内政部 链接
Jean-Guillaume Fages;泽维尔洛卡;卢梭,路易斯·马汀 推销员和树:在CP中搜索的重要性。 (英语) Zbl 1334.90143号 约束条件 21,第2期,145-162(2016).MSC公司:90C27型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.-G.Fages}等人,《约束21》,第2期,145--162(2016;Zbl 1334.90143) 全文: 内政部 哈尔
石炭纪,Clément;马丁·库珀。 约束满足问题中的可追踪性:一项调查。 (英语) Zbl 1334.90220号 约束条件 21,第2期,115-144(2016).MSC公司:90C60型 90立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Carbonnel}和\textit{M.C.Cooper},约束21,第2期,115--144(2016;Zbl 1334.90220) 全文: 内政部 链接
弗里德里克·科里奇;西尔万·拉格鲁;埃里克·皮埃特;塞巴斯蒂安·塔巴里 随机CSP的一般游戏。 (英语) 兹比尔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) 全文: 内政部 链接
马克西姆·希什马雷夫;克里斯托弗·米尔斯;塔克,吉多;玛丽亚·加西亚·德拉班达 可视化搜索树分析。 (英语) Zbl 1334.90170号 约束条件 21,第1期,77-94(2016).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Shishmarev}等人,《约束21》,第1期,第77-94页(2016年;Zbl 1334.90170) 全文: 内政部
胡克,J.N。 投影、一致性和乔治·布尔。 (英语) Zbl 1396.03041号 约束条件 21,第1号,59-76(2016).MSC公司:03B48 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Hooker},约束21,No.1,59--76(2016;Zbl 1396.03041) 全文: 内政部
亚历山大·伊夫里;沙拉德·马利克;Kuldeep S.梅尔。;莫舍·瓦尔迪。 关于计算最小独立支持度及其在采样和计数中的应用。 (英语) Zbl 1334.90146号 约束条件 21,第1期,41-58(2016).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ivrii}等人,《约束21》,第1期,第41-58页(2016年;Zbl 1334.90146) 全文: 内政部 链接
尼古拉斯·贝尔迪塞努;卡尔森,Mats;雷米·杜伦斯;赫尔穆特·西蒙尼斯 使用有限换能器来描述和综合结构时间序列约束。 (英语) 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) 全文: 内政部 哈尔
菲利普·基尔比;托马索·乌利 使用约束编程和大型邻域搜索从历史数据中优化车队设计。 (英语) Zbl 1334.90085号 约束条件 21,第1期,2-21(2016).MSC公司:90立方厘米 90B06型 PDF格式BibTeX公司 XML格式引用 \textit{P.Kilby}和\textit{T.Urli},约束21,第1号,第2--21条(2016;Zbl 1334.90085) 全文: 内政部
路易斯·奎萨达;Lanny Sitanayah,兰尼;肯尼斯·布朗。;巴里·奥沙利文;科马克·J·斯雷南。 无线传感器网络中附加中继布局问题的约束规划方法。 (英语) Zbl 1329.90153号 约束条件 第4期,第20期,第433-451页(2015年).MSC公司:90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Quesada}等人,《约束20》,第4期,第433--451页(2015年;Zbl 1329.90153) 全文: 内政部 链接
艾尔·穆埃利,Achref;菲利普·杰古;西里尔·特里奥克斯 非二进制CSP的混合可处理类。 (英语) Zbl 1329.90149号 约束条件 20,第4期,383-413(2015).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.El Mouelhi}等人,《限制》20,第4期,383--413(2015;Zbl 1329.90149) 全文: 内政部
哈德里安·坎巴扎德;Jean-Guillaume Fages 的新筛选最大值及其加权变量:拉格朗日方法。 (英语) Zbl 1327.90130号 约束条件 20,第3期,362-380(2015).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Cambazard}和\textit{J.-G.Fages},约束20,No.3,362--380(2015;Zbl 1327.90130) 全文: 内政部
古斯塔夫·比约达尔;珍妮·诺埃尔·莫内特;Flener,皮埃尔;贾斯汀·皮尔逊 MiniZin的基于约束的本地搜索后端。 (英语) 兹比尔1325.90076 约束条件 20,第3期,325-345(2015).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Björdal}et al.,Constraints 20,No.3,325--345(2015;Zbl 1325.90076) 全文: 内政部
克里斯托弗·米尔斯;玛丽亚·加西亚;马克·华莱士;巴特·德梅恩 一种检测约束模型中对称性的方法及其推广。 (英语) Zbl 1316.90029号 约束条件 20,第2期,235-273(2015).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Mears}等人,《约束20》,第2期,235-273(2015;Zbl 1316.90029) 全文: 内政部
阿诺·莱特特;卡尔森,Mats;尼古拉斯·贝尔迪塞努 可伸缩调度约束的同步扫描算法。 (英语) 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) 全文: 内政部 链接
杰弗里·楚;彼得·斯图基(Peter J.Stuckey)。 主导打破约束。 (英语) Zbl 1316.90025号 约束条件 第2号第20页,第155-182页(2015年).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Chu}和\textit{P.J.Stuckey},《限制条件》20,第2期,155--182(2015;Zbl 1316.90025) 全文: 内政部
阿尔诺·拉洛伊特;Lee,Jimmy H.M.(吉米·H·M·李)。;Terrence W.K.Mak。;是的,贾斯汀 极小极大加权约束满足中的超维解决方案和一致性实施。 (英语) Zbl 1336.90104号 约束条件 20,第2期,109-154(2015).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Lallouet}等人,《约束20》,第2期,第109--154页(2015年;Zbl 1336.90104) 全文: 内政部
克利斯朵夫·勒库特;Likitvivatanavong,查瓦利特;罗兰·H·C·雅普。 改进简单表格约简的下限。 (英语) Zbl 1316.90026号 约束条件 20,第1期,100-108(2015).MSC公司:90立方厘米 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{C.Lecoutre}等人,《约束20》,第1期,100--108(2015;Zbl 1316.90026) 全文: 内政部
普雷斯特维奇,S.D。;塔里木,南美。;罗西,R。;哈尼奇,B。 随机约束规划的混合元启发式。 (英语) Zbl 1316.90033号 约束条件 20,第1期,57-76(2015).MSC公司:90立方厘米 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Prestwich}等人,《限制条件》20,第1期,第57--76页(2015;Zbl 1316.90033) 全文: 内政部 链接
伊夫·卡尼奥;菲利普·科多涅特;弗洛里安·里查克斯;丹尼尔·迪亚兹;萨尔瓦多阿布雷乌 基于约束的局部搜索的大规模并行:costas数组案例研究。 (英语) Zbl 1316.90040号 约束条件 20,第1号,30-56(2015).MSC公司:90C27型 90 C59 90-04 PDF格式BibTeX公司 XML格式引用 \textit{Y.Caniou}等人,约束条件20,第1号,30-56(2015;Zbl 1316.90040) 全文: 内政部 链接
亚历山德罗·西马蒂;安德烈亚·米凯利;马可·罗维里 使用SMT解决不确定性时间问题的强可控性。 (英语) Zbl 1314.90043号 约束条件 20,第1号,1-29(2015).MSC公司:90B36型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《约束20》,第1期,1-29页(2015;Zbl 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) 全文: 内政部 链接
大卫·伯格曼;胡克,J.N。 来自所有不同系统的图着色不等式。 (英语) Zbl 1316.90056号 约束条件 19,第4号,404-433(2014).MSC公司:90立方厘米 05C15号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bergman}和\textit{J.N.Hooker},约束19,第4期,404--433(2014;Zbl 1316.90056) 全文: 内政部
Stojadinović,米尔科;菲利普·马里奇 meSAT:CSP到SAT的多重编码。 (英语) Zbl 1316.90049号 约束条件 19,第4期,380-403(2014).MSC公司:90立方 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Stojadinović}和\textit{F.Marić}.约束19,第4号,380--403(2014;Zbl 1316.90049) 全文: 内政部