×

兹马思-数学第一资源

限制条件

国际期刊

简称: 限制条件
出版商: 斯普林格美国,纽约,纽约
ISSN编号: 1383-7133年;1572-9354/东
在线: http://link.springer.com/journal/volumesAndIssues/10601
编制索引的文档: 416种出版物(自1997年起)
索引的引用: 266种出版物参考文献9495篇。
全部的 前5名

最新版本

25,第1-2期(2020年)
24,第3-4期(2019年)
24,第2期(2019年)
24,第1期(2019年)
23,第4期(2018年)
23,第3期(2018年)
23,第2期(2018年)
23,第1期(2018年)
22,第4期(2017年)
22,第3期(2017年)
22,第2期(2017年)
22,2017年第1期
21,第4期(2016年)
21,第3期(2016年)
21,第2期(2016年)
21,第1期(2016年)
20,2015年第4期
20,第3期(2015年)
20,第2期(2015年)
20,第1期(2015年)
19,2014年第4期
19,第3期(2014年)
19,第1期(2014年)
18,2013年第4期
18,第3期(2013年)
18,第2期(2013年)
18,2013年第1期
17,第4期(2012年)
17,第3期(2012年)
17,第2期(2012年)
17,第1期(2012年)
16,2011年第4期
16,第3期(2011年)
16,第2期(2011年)
16,第1期(2011年)
15,2010年第4期
15,2010年第3期
15,2010年第2期
15,2010年第1期
14,2009年第4期
14,2009年第3期
14,第2期(2009年)
14,2009年第1期
13,2008年第4期
13,2008年第3期
13,第1-2期(2008年)
12,第4期(2007年)
12,第3期(2007年)
12,第2期(2007年)
12,第1期(2007年)
11,第4期(2006年)
11,第2-3期(2006年)
11,第1期(2006年)
10,2005年第4期
10,第3期(2005年)
10,第2期(2005年)
10,2005年第1期
9,第4号(2004年)
9,第3期(2004年)
9,第2期(2004年)
9,第1期(2004年)
8,第4期(2003年)
8,2003年第3期
8,第2期(2003年)
8,第1期(2003年)
7,第3-4号(2002年)
7,第2期(2002年)
7,第1期(2002年)
62001年第4期
6,第2-3期(2001年)
6,2001年第1期
5,第4期(2000年)
5,第3期(2000年)
5,第1-2期(2000年)
4,第4号(1999年)
4,第3号(1999年)
41999年第2期
4,第1号(1999年)
,1998年第4期
,第2-3号(1998年)
,1998年第1期
2,第3-4号(1997年)
2,第2号(1997年)
2,第1号(1997年)
1,第3号(1997年)
全部的 前5名

作者

22 范亨特莱克,帕斯卡
21 斯图基,彼得·詹姆斯
9 李,吉米·霍曼
8 贝尔迪切努,尼古拉斯
8 弗莱纳,皮埃尔
8 加西亚·德拉班达,玛丽亚
8 Hnich,卜拉欣
8 梅塞尔,阿姆农
7 贝克,J.克里斯托弗
7 贝西,克里斯蒂安
7 卡尔森,马茨
7 德维尔,伊夫
7 米歇尔,劳伦特
7 卢梭,路易·马丁
7 华莱士,马克·G。
7 沃尔什,托比
6 胡克,约翰·N·俊。
6 杰文斯,彼得G。
6 奥沙利文,巴里
6 皮尔逊,贾斯汀
6 斯基克斯,托马斯
6 范霍夫,威廉·扬
6 Zivan,罗伊
5 巴克芬,罗尔夫
5 巴拉霍纳,佩德罗
5 科恩,大卫A。
5 弗洛伊德,尤金·C。
5 希伯拉德,伊曼纽
5 勒库特,克里斯托夫
5 席尔瓦侯爵。
5 金,万豪酒店
5 米尔斯,克里斯托弗
5 普雷斯特维奇,史蒂文D。
5 露尔,米歇尔
5 肖斯,皮埃尔
5 史密斯,芭芭拉·M。
4 巴塔克,罗马人
4 坎巴扎德,哈德良
4 科迪什,迈克尔
4 德吉夫里,西蒙
4 迪切特,瑞娜
4 亚历山大戈尔斯泰恩
4 哈维,沃里克
4 朱森,纳伦德拉
4 法律,叶秋
4 勒帕普,克劳德
4 洛卡,泽维尔
4 梅斯盖尔,佩德罗
4 奎普,克劳德·盖伊
4 斯特吉奥,科斯塔斯
4 塔里木,S.Armagan
4 是的,罗兰H.C。
艺术家,基督徒
巴普蒂斯特,菲利普
波菲尔,米克尔
布亚赫夫,埃尔霍辛
布罗德斯基,亚历山大
凯索,伊夫
朱,杰弗里
Ciré,安德烈·奥古斯托
Codognet,菲利普
库珀,马丁·C。
德蒙,巴特
法尔吉,法尔吉
格里高尔,艾瑞克
凯瑞尔,艾瑞特
利菲顿,马克H。
伦巴第,米歇尔
洛佩兹,皮埃尔
林奇,因斯
马祖,贝特朗
米拉诺,米歇拉
佩桑特,吉尔
佩蒂,蒂埃里
普洛瑟,帕特里克
雷金,让·查尔斯
罗西,罗伯托
萨塔尔,阿卜杜勒
塞尔曼,梅诺夫
西蒙尼斯,赫尔穆特
塔克,吉多
特罗姆贝托尼,吉尔
曾荫权(Edward P.K.)。
瓦迪,莫斯伊。
韦法利,杰拉德
维拉雷特,马修
威尔,塞巴斯蒂安
威尔逊,尼克
2 脊柱侧弯
2 奥格伦,马格努斯
2 愤怒,弗兰克·D。
2 安索特吉,卡洛斯
2 阿泽维多,弗朗西斯科
2 贝纳莫,弗里德里克
2 比斯塔雷利,斯特凡诺
2 比约达尔,古斯塔夫
2 伯宁,艾伦H。
2 布兰德,塞巴斯蒂安
2 布朗,肯尼斯N。
2 卡本,贝特朗
…还有574位作者

按年份列出的出版物

zbMATH公开赛中包含的引文

288出版物有1607年被引用时间1080份文件 引用人
约束优化和约束满足问题中的变量消去Boosting搜索。 Zbl 1057.68114
拉罗莎,哈维尔;迪切特,瑞娜
88
2003
基于半环的csp和值csp:框架、性质和比较。 Zbl 0946.68143
比斯塔雷利,S。;美国蒙塔纳里。;罗西,F。;Schiex,T。;维法利,G。;法吉尔H。
58
1999
A正常成本基于混合列生成方法。 Zbl 1117.90066
德马西,索菲;佩桑特,吉尔;卢梭,路易·马丁
33
2006
通过lazy子句生成进行传播。 Zbl 1192.68654
奥尔加奥里门科;斯图基,彼得J。;科迪什,迈克尔
33
2009
随机并发约束规划中的生物系统建模。 Zbl 1144.92001
博尔托鲁西,卢卡;阿尔伯托波利克里蒂
26
2008
随机约束满足:一个更精确的图像。 Zbl 0984.68085
脊柱侧弯;莫洛伊,迈克尔·S·O。;基鲁斯,左撇子M。;斯塔米尼斯,亚纳蒂奇。;克拉纳基斯,伊万盖洛斯;克里扎克,丹尼
26
2001
随机约束满足:缺陷与结构。 Zbl 0992.68193
根特,伊恩·P。;麦金太尔,伊万;普洛瑟,帕特里克;史密斯,芭芭拉·M。;沃尔什,托比
26
2001
锌造型语言的设计。 Zbl 1146.68352
金,万豪酒店;尼日可,尼古拉斯;拉菲,雷扎;斯图基,彼得J。;加西亚·德拉班达,玛丽亚;华莱士,马克
23
2008
无线电链路频率分配。 Zbl 1020.94500
卡本,B。;德吉夫里,S。;洛布乔伊斯,L。;Schiex,T。;华纳,J.P。
23
1999
计划与调度的混合方法。 Zbl 1122.90054
胡克,J.N。
22
2005
关于集合推理的区间传播:一种实用语言的定义和实现。 Zbl 0870.68039
葛尔维,卡门
20
1997
地球观测卫星管理。 Zbl 0963.90507
本萨纳,E。;Lemaître,M。;维法利,G。
19
1999
迭代和核心指导下的maxsat求解:调查与评估。 Zbl 1317.90199
莫加多,安东尼奥;赫拉斯,费德里科;利菲顿,马克;飞机,乔迪;席尔瓦侯爵,乔奥
19
2013
随机约束规划:一种基于场景的方法。 Zbl 1103.68828号
塔里木阿玛干。;马南德哈,苏雷什;沃尔什,托比
18
2006
基于成本的全局基数约束弧一致性。 Zbl 1028.68157
雷金,让·查尔斯
18
2002
本质:指定组合问题的约束语言。 Zbl 1147.68424
弗里希,艾伦·M。;哈维,沃里克;杰斐逊,克里斯;马丁内斯·埃尔南德斯,伯纳黛特;米格尔,伊恩
17
2008
高度析取和高度累积项目排程问题的约束传播与分解技术。 Zbl 0941.90030
巴普蒂斯特,菲利普;莱帕普,克劳德
17
2000
二次约束上的约束传播。 Zbl 1208.68200元
穹顶,费伦茨;纽梅尔,阿诺德
17
2010
用偏好解可满足性问题。 Zbl 1208.68199
迪罗莎,伊曼纽尔;朱西格里亚,恩里科;马拉茶,马可
17
2010
将有限线性CSP编译成SAT。 11876.6806升
田村,直玉;Taga,秋子;北川、佐藤;穆苏诺里班巴拉
17
2009
CTP:一种新的基于约束的时间规划形式。 Zbl 1074.68616
查马尔迪诺,约安尼斯;维达尔,蒂埃里;波拉克,玛莎·E。
16
2003
求解各种带约束的加权匹配问题。 Zbl 0949.90058
凯索,伊夫;拉伯特,弗朗索瓦
15
2000
基于MDD的正负表约束和某些全局约束的广义弧一致性算法。 Zbl 1204.68188
Cheng,Kenil C.K。;是的,罗兰H.C。
15
2010
量化布尔公式的自适应多引擎求解器。 Zbl 1183.68589
普利纳,卢卡;塔切拉,阿曼多
15
2009
动态调度中最小扰动的探测回溯搜索。 Zbl 0970.68014
哈尼族埃尔萨库特;华莱士,马克
15
2000
SALSA:一种搜索算法语言。 Zbl 1020.68028
拉伯特,弗朗索瓦;凯索,伊夫
15
2002
覆盖测试问题的约束模型。 Zbl 1103.68810
Hnich,卜拉欣;普雷斯特维奇,史蒂文D。;塞琳斯基,叶夫根尼;史密斯,芭芭拉·M。
14
2006
排班问题整数规划建模的形式化语言。 Zbl 1215.90026
卡蒂,玛丽·克劳德;詹德伦,伯纳德;奎普,克劳德·盖伊;卢梭,路易·马丁
14
2011
值约束满足的高阶一致性。 Zbl 1112.68118号
库珀,马丁·C。
14
2005
基数网络:理论与实证研究。 兹布1217.68200
阿森,罗伯托;尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;罗德里格斯·卡博内尔,恩里克
13
2011
快速、灵活的MUS枚举。 Zbl 1334.90080
利菲顿,马克H。;普雷维蒂,亚历山德罗;马利克,阿玛;席尔瓦侯爵,乔奥
13
2016
约束满足问题的对称定义。 Zbl 1103.68809
科恩,大卫;杰文斯,彼得;杰斐逊,克里斯托弗;皮特里,凯伦E。;史密斯,芭芭拉·M。
12
2006
模糊优化中的加权约束集结。 Zbl 1040.68112
美国凯马克。;苏萨,J.M。
12
2003
并发约束规划的模型和新趋势。 Zbl 1317.90283
奥拉特,卡洛斯;鲁达,卡米洛;弗兰克,瓦伦西亚。
12
2013
解释累计传播者。 Zbl 1226.68099
舒特,安德烈亚斯;费迪,蒂博;斯图基,彼得J。;华莱士,马克·G。
12
2011
二次约束的严格全局滤波算法。 Zbl 1066.90090
利巴,耶希亚;米歇尔,克劳德;露尔,米歇尔
12
2005
一种最小化拖期的计划与调度集成方法。 Zbl 1103.68811号
胡克,J.N。
11
2006
服务水平约束下随机库存系统的全局机会约束。 Zbl 1162.90318号
罗西,罗伯托;塔里木,S.Armagan;Hnich,卜拉欣;普雷斯特维奇,史蒂文
11
2008
约束简化规则的融合与语义。 Zbl 0951.68070
Abdennadher,苗条;弗里赫斯,托姆;默斯,霍尔格
11
1999
通过冗余建模增加约束传播:经验报告。 Zbl 0949.68605
程,B.M.W。;崔,K.M.F。;李,J.H.M。;吴建中。
11
1999
用于全局NLP和MINLP优化的域缩减技术。 Zbl 1387.90164
珀拉尼克,亚什;萨希尼迪斯,尼古拉斯诉。
10
2017
使用约束逻辑编程来安排体育比赛。 Zbl 0949.90045
舍尔夫,安德里亚
10
1999
面向优化的全局约束。 Zbl 1028.68024
福卡奇,菲利波;洛迪,安德里亚;米拉诺,米歇拉
10
2002
全球约束目录:过去、现在和未来。 Zbl 1128.68092
贝尔迪切努,尼古拉斯;卡尔森,马茨;德马西,索菲;佩蒂,蒂埃里
10
2007
用于调度的IBM ILOG CP优化器。在IBM/ILOG有20多年的时间安排限制。 Zbl 1400.90169
劳莉,菲利普;罗杰里,杰罗姆;肖,保罗;维利姆,彼得
9
2018
STR2:针对表约束优化的简单表格缩减。 Zbl 1244.90232
勒库特,克里斯托夫
9
2011
航道。 Zbl 0988.90015
米歇尔,劳伦特;范亨特莱克,帕斯卡
9
2000
并行SAT求解综述。 Zbl 1309.90057
马丁斯,鲁本;曼奎诺,瓦斯科;林奇,因斯
9
2012
带边约束车辆路径问题的传统启发式方法与基于约束的启发式方法的比较。 Zbl 0985.90038
菲利普·基尔比;普洛瑟,帕特里克;肖,保罗
9
2000
解决困难的定性时间推理问题:评估使用ORD-Horn类的效率。 Zbl 0870.68138
内贝尔,伯恩哈德
9
1997
时间限制:一项调查。 Zbl 0911.68186
施瓦布,埃迪;维拉,路易斯安那州
9
1998
图同构问题的参数滤波算法。 Zbl 1162.05337
索林,塞巴斯蒂安;克莉丝汀,索侬
8
2008
扩展的全局基数约束的可处理情况。 Zbl 1215.68164
萨默,马尔科;斯泽德,斯特凡
8
2011
本地搜索提取缪斯。 Zbl 1211.90307
格里高尔,艾瑞克;马祖,贝特朗;皮埃特,塞德里克
8
2007
列举CSP解决方案的结构可追溯性。 Zbl 1310.05151
格雷科,詹路易吉;史卡略,弗朗西斯科
7
2013
拓扑一致性及其实现。 Zbl 1103.68770
李三江
7
2006
DisCSPs上异步回溯的动态排序。 Zbl 1103.68117号
Zivan,罗伊;梅塞尔,阿姆农
7
2006
基于加权约束满足技术的复杂家系孟德尔误差检测。 Zbl 1144.92324
桑切斯,马蒂;德吉夫里,西蒙;斯基克斯,托马斯
7
2008
为稳定的婚姻而改善的不平等。 Zbl 1028.91530
奥尔德肖夫,布莱恩;卡杜奇,奥利维亚M。;洛伦克,大卫·C。
7
1999
用最优软弧一致性最小化局部定义的子模函数。 Zbl 1180.90262
库珀,马丁·C。
7
2008
可由图割表示的子模约束类。 Zbl 1208.68196
Živný,斯坦尼斯拉夫;杰文斯,彼得G。
7
2010
MaxSAT中基于分辨率的下限。 Zbl 1208.68204号
李楚敏;很多,费利普;莫哈默杜,努雷丁·乌尔德;飞机,乔迪
7
2010
字典序约束满足问题。 Zbl 1191.68632
弗洛伊德,尤金·C。;赫弗南,罗伯特;华莱士,理查德J。;威尔逊,尼克
7
2010
平衡自行车共享系统与约束编程。 Zbl 1334.90078号
迪加斯佩罗,卢卡;兰德尔,安德里亚;乌利,托马索
7
2016
在几秒钟内解决柯克曼的女学生问题。 Zbl 1112.90064
巴尼尔,尼古拉斯;布里塞特,帕斯卡
7
2005
重温打破对称。 Zbl 1071.68094
普吉,让·弗朗索瓦
7
2005
常微分方程的一致性技巧。 Zbl 1020.65035
德维尔,伊夫;詹森,米哈;范亨特莱克,帕斯卡
7
2002
具有全局约束的推理的复杂性。 Zbl 1124.68103
贝西,克里斯蒂安;希伯拉德,伊曼纽;Hnich,卜拉欣;沃尔什,托比
7
2007
约束满足中值对称性的对称破缺约束。 Zbl 1103.68813
法律,Y.C。;李,J.H.M。
6
2006
NValue约束的过滤算法。 Zbl 1114.68064
贝西,克里斯蒂安;希伯拉德,伊曼纽;Hnich,卜拉欣;克孜勒坦,泽涅普;沃尔什,托比
6
2006
决策图的拉格朗日界。 Zbl 1327.90116
伯格曼,大卫;赛尔,安德烈A。;范霍夫,威廉·扬
6
2015
拓扑关系和凸性的约束网络。 Zbl 0946.68082
戴维斯,欧内斯特;哥茨,尼古拉斯·马克;科恩,安东尼G。
6
1999
来自冗余约束声明性使用的算法能力。 Zbl 0949.68041
范·埃姆登,M.H。
6
1999
图形模型离散优化中精确求解器的多语言评价。 Zbl 1368.90107
赫尔利,巴里;奥沙利文,巴里;放荡,大卫;Katsirelos,乔治;斯基克斯,托马斯;Zytnicki,马提亚斯;德吉夫里,西蒙
6
2016
一种新的具有流形解的NCSP快速有效求解框架。 Zbl 1203.65086
亚历山大戈尔斯泰恩;格兰维利尔,劳伦特
6
2010
在CSPLib上评估ASP和商业解决方案。 Zbl 1179.90287号
曼奇尼,托尼;戴维德,米卡莱托;帕特里齐,法比奥;卡多利,马可
6
2008
求反正规形QBFs的一个求解器。 Zbl 1167.68054
埃格利,乌韦;塞德尔,玛蒂娜;沃尔特兰,斯特凡
6
2009
限制分支在小句学习中的局限性。 Zbl 1192.68643
马尔维萨洛,马蒂;Junttila,汤米
6
2009
迷你锌挑战赛的理念。 Zbl 1208.68207
斯图基,彼得J。;贝克特,拉尔夫;菲舍尔,朱利安
6
2010
单粒子弧一致性的有效算法。 68236.6升
贝西,克里斯蒂安;卡登,圣潘;德布鲁恩,罗穆阿尔德;勒库特,克里斯托夫
6
2011
求最小最小不可满足子公式的分枝定界算法。 Zbl 1181.90291
利菲顿,马克;姆尼姆尼,马厄;林奇,因斯;安德鲁斯,扎尔;圣约席尔瓦侯爵;萨卡拉,卡雷姆
6
2009
改进的加权电路约束滤波。 Zbl 1309.90115
本奇莫尔,帕斯卡;范霍夫,威廉·扬;雷金,让·查尔斯;卢梭,路易·马丁;露尔,米歇尔
6
2012
如何确定约束的表现力。 Zbl 0951.68190号
杰文斯,彼得;科恩,大卫;杰森,马克
6
1999
不一致线性约束的最优修正框架。 Zbl 1066.90136
阿玛拉尔,保拉;巴拉霍纳,佩德罗
6
2005
Cardinal:有限集约束求解器。 Zbl 1118.68653
阿泽维多,弗朗西斯科
6
2007
discsp的异步前向检查。 Zbl 1118.68158
梅塞尔,阿姆农;Zivan,罗伊
6
2007
全局基数约束的完全绑定一致性。 Zbl 1084.68138
凯瑞尔,艾瑞特;泰尔,斯文
6
2005
所有不同系统的图着色不等式。 Zbl 1316.90056
伯格曼,大卫;胡克,J.N。
5
2014
基于约束检查程序的全局约束的重新制定。 Zbl 1103.68804
贝尔迪切努,尼古拉斯;卡尔森,马茨;德布鲁恩,罗穆阿尔德;佩蒂,蒂埃里
5
2005
一种基于约束的三维蛋白质结构快速精确预测方法。 Zbl 1103.68959
巴克芬,罗尔夫;威尔,塞巴斯蒂安
5
2006
通过应答集编程,用动作语言对生物网络进行建模。 Zbl 1148.68564
德沃夏克,史蒂夫;格雷尔,苏珊娜;尼基福罗娃,维多利亚J。;肖布,托尔斯滕;塞尔比格,约阿希姆
5
2008
混合搜索的非确定性控制。 Zbl 1112.68039
范亨特莱克,帕斯卡;米歇尔,劳伦特
5
2006
一种求解连续资源和能量约束的调度问题的混合精确方法。 Zbl 1327.90073
纳塔夫,玛歌;艺术家,基督徒;洛佩兹,皮埃尔
5
2015
MDD传播子及其解释。 Zbl 1241.90066
格雷姆,恒河;斯图基,彼得J。;拉多斯瓦什曼克
5
2011
在最佳时间内一组排序的最优缩小。 Zbl 0947.68045
布莱森·格尔纳莱克,诺埃尔;科默劳尔,阿兰
5
2000
用约束规划求解子图同构问题。 Zbl 1213.68473
圣潘赞佩利;德维尔,伊夫;克莉丝汀,索侬
5
2010
G12中的Dantzig-Wolfe分解与分支与价格求解。 Zbl 1213.90174
普钦格,雅各布;斯图基,彼得J。;华莱士,马克·G。;布兰德,塞巴斯蒂安
5
2011
约束满足问题的动态结构对称破缺。 Zbl 1186.68438
弗莱纳,皮埃尔;皮尔逊,贾斯汀;塞尔曼,梅诺夫;范亨特莱克,帕斯卡;奥格伦,马格努斯
5
2009
柔性混合模型装配线的平衡与调度。 Zbl 1304.90149
厄兹图尔克,塞马莱汀;图纳尔,塞姆拉;Hnich,卜拉欣;厄尔尼克,M.阿尔斯兰
5
2013
布尔域和有限域上八种约束编程语言的比较研究。 Zbl 0954.68031
费尔南德斯,安东尼奥J。;希尔,帕特里夏·M。
5
2000
图表示中对称破坏的约束。 Zbl 1425.05099
科迪什,迈克尔;米勒,爱丽丝;普洛瑟,帕特里克;斯图基,彼得J。
2
2019
邻域单粒子一致性。 Zbl 1468.68207
斯特吉奥,科斯塔斯
1
2019
并非所有的fpras都是相等的:为DNF计数揭开fpras的神秘面纱。 Zbl 07137186
梅尔,库尔德普S。;Shrotri,Aditya A。;瓦迪,莫斯伊。
1
2019
用于调度的IBM ILOG CP优化器。在IBM/ILOG有20多年的时间安排限制。 Zbl 1400.90169
劳莉,菲利普;罗杰里,杰罗姆;肖,保罗;维利姆,彼得
9
2018
深层神经网络与混合整数线性优化。 Zbl 1402.90096
费切蒂,马特奥;乔,杰森
5
2018
混合模型线平衡与平行站,分区限制,和人体工程学。 Zbl 1414.90233
阿纳斯,阿尔加齐;库兹,玛丽E。
2
2018
用gpu加速(分布式)离散优化的精确和近似推理。 Zbl 1395.90187
菲奥雷托,费迪南多;庞泰利,恩里科;哦,威廉;迪切特,瑞娜
1
2018
全球约束在实践中的效率如何?一个公平的实验框架。 13990ZB1万桶
Van Cauwelaert,萨沙;伦巴第,米歇尔;肖斯,皮埃尔
1
2018
向着圣杯前进。 Zbl 1402.90178
弗洛伊德,尤金·C。
1
2018
约束规划与运筹学。 Zbl 1402.90148
胡克,J.N。;范霍夫,W.-J。
1
2018
用于全局NLP和MINLP优化的域缩减技术。 Zbl 1387.90164
珀拉尼克,亚什;萨希尼迪斯,尼古拉斯诉。
10
2017
超时态网络。简单时间网络的一个可处理的推广及其与平均收益对策的关系。 Zbl 1390.90102
来吧,卡罗;波塞纳托,罗伯托;里兹,罗密欧
2017
传播的力量:当GAC足够的时候。 Zbl 1387.90130号
科恩,大卫A。;杰文斯,彼得G。
2
2017
具有可变任务轮廓和凹分段线性加工速率函数的累积调度。 Zbl 1384.90047号
纳塔夫,玛歌;艺术家,基督徒;洛佩兹,皮埃尔
2
2017
什么是命题可满足性的答案集规划。 Zbl 1423.68483
利勒,尤利娅
2
2017
用约束规划求解RCPSP/MAX-cal。 Zbl 1387.90092
克莱特,斯特凡;舒特,安德烈亚斯;斯图基,彼得J。
2
2017
用于约束编程的微内核体系结构。 Zbl 1390.90520号
米歇尔,L。;范亨特纳克,P。
2
2017
最佳功率流的图形模型。 Zbl 1387.90262
德维约坦,克里希那穆尔蒂;切尔特科夫,迈克尔;范亨特莱克,帕斯卡;沃夫雷,马克;米斯拉,西德汉
1
2017
“几乎稳定”的医院/居民配对问题。 Zbl 1387.90143
曼洛夫,大卫F。;麦克布莱德,伊恩;特里姆布尔,詹姆斯
1
2017
微型锌中子问题预求解的自动表格。 Zbl 1425.68386
德克尔,吉普J。;比约达尔,古斯塔夫;卡尔森,马茨;弗莱纳,皮埃尔;莫内特,让·诺埃尔
1
2017
基于约束规划的时间约束序列模式挖掘。 Zbl 1425.68338
奥加,约翰O.R。;枪,TIA;肖斯,皮埃尔
1
2017
序列模式挖掘的前缀投影全局约束和top-\(k\)方法。 Zbl 1427.68066
凯玛,阿米娜;利巴,耶希亚;劳德尼,萨米尔;博伊祖莫尔特,帕特里斯;查理,查理
1
2017
快速、灵活的MUS枚举。 Zbl 1334.90080
利菲顿,马克H。;普雷维蒂,亚历山德罗;马利克,阿玛;席尔瓦侯爵,乔奥
13
2016
平衡自行车共享系统与约束编程。 Zbl 1334.90078号
迪加斯佩罗,卢卡;兰德尔,安德里亚;乌利,托马索
7
2016
图形模型离散优化中精确求解器的多语言评价。 Zbl 1368.90107
赫尔利,巴里;O’沙利文,巴里;放荡,大卫;Katsirelos,乔治;斯基克斯,托马斯;Zytnicki,马提亚斯;德吉夫里,西蒙
6
2016
利用抽象和对称破缺计算Ramsey数(R(4,3,3)\)。 Zbl 1368.05046
科迪什,迈克尔;弗兰克,迈克尔;伊扎科夫,阿夫拉罕;米勒,爱丽丝
4
2016
最小独立支撑的计算及其在采样计数中的应用。 Zbl 1334.90146
亚历山大,伊芙瑞;马利克,沙拉德;梅尔,库尔德普S。;瓦迪,莫斯伊。
4
2016
约束满足问题的可处理性:一项调查。 Zbl 1334.90220号
碳纤维;库珀,马丁·C。
4
2016
用规范集破坏图搜索中的对称性。 Zbl 1368.90137
伊扎科夫,阿夫拉罕;科迪什,迈克尔
2
2016
考虑位置拥挤的车辆路径问题的支路和价格检查模型。 Zbl 1368.90115
林,爱德华;范亨特莱克,帕斯卡
2
2016
约束规划中人工神经网络的拉格朗日传播算子。 Zbl 1368.90148
伦巴第,米歇尔;瓜兰迪,斯特凡诺
2
2016
使用约束规划和大邻域搜索从历史数据中优化车队设计。 Zbl 1334.90085
基尔比,菲利普;乌利,托马索
2
2016
投射、一致性和乔治·布尔。 Zbl 1396.03041号
胡克,J.N。
2
2016
随机CSP的一般博弈。 Zbl 1411.91057号
弗里德里克郡;拉格鲁,西尔文;皮埃特,艾瑞克;塔巴里,塞巴斯蒂安
2
2016
焦点约束的三个推广。 Zbl 1368.90110
纳罗迪茨卡,尼娜;佩蒂,蒂埃里;锡亚拉,穆罕默德;沃尔什,托比
1
2016
基于决策图优化的理论见解和算法工具。 Zbl 1368.90105
伯格曼,大卫;安德烈·西拉。
1
2016
不确定性下的手术室管理。 Zbl 1368.90147
高希耶,让·贝特朗;莱格拉因,安托万
1
2016
使用有限传感器来描述和综合结构时间序列约束。 Zbl 1397.68161
贝尔迪切努,尼古拉斯;卡尔森,马茨;多恩斯,雷米;西蒙尼斯,赫尔穆特
1
2016
可视化搜索树分析。 Zbl 1334.90170号
希玛列夫,马克西姆;米尔斯,克里斯托弗;塔克,吉多;加西亚·德拉班达,玛丽亚
1
2016
用CLP和SAT求解器枚举Petri网中的最小信标:理论和实践复杂性。 Zbl 1336.92031号
纳布里,法顿;马丁内斯,蒂埃里;法吉斯,弗朗索瓦;索利曼,西尔文
1
2016
量化最大满意度。 Zbl 1334.90075
伊格纳蒂耶夫,亚历克西;亚诺塔,米科拉什;席尔瓦侯爵,乔奥
1
2016
决策图的拉格朗日界。 Zbl 1327.90116
伯格曼,大卫;赛尔,安德烈A。;范霍夫,威廉·扬
6
2015
一种求解连续资源和能量约束的调度问题的混合精确方法。 Zbl 1327.90073
纳塔夫,玛歌;艺术家,基督徒;洛佩兹,皮埃尔
5
2015
用SMT求解不确定时间问题的强可控性。 Zbl 1314.90043
亚历山德罗·西马蒂;米其莉,安德烈;罗维里,马可
4
2015
自适应构造区间析取:算法与实验。 Zbl 1329.90152号
Neveu,贝特朗;特罗姆贝托尼,吉尔;阿拉亚,伊格纳西奥
4
2015
的新筛选大气值及其加权变量:拉格朗日方法。 Zbl 1327.90130号
坎巴扎德,哈德良;法格斯,让·纪尧姆
2015
基于约束的局部搜索的大规模并行:costas数组实例研究。 Zbl 1316.90040
卡努,伊夫;Codognet,菲利普;里查克斯,弗洛里安;迪亚兹,丹尼尔;萨尔瓦多阿布鲁
2
2015
MiniZinc的基于约束的本地搜索后端。 Zbl 1325.90076
比约达尔,古斯塔夫;莫内特,让·诺埃尔;弗莱纳,皮埃尔;皮尔逊,贾斯汀
2
2015
非二进制csp的混合可处理类。 Zbl 1329.90149
El Mouelhi,Achref公司;Jégou,菲利普;特里欧,西里尔
2
2015
混合约束的随机元启发式算法。 Zbl 1316.90033
南卡罗来纳州普雷斯特维奇。;南卡罗来纳州塔里木市。;罗西,R。;Hnich,B。
1
2015
为彗星探索安排科学实验。 Zbl 1314.90041
西蒙宁,吉尔;艺术家,基督徒;希伯拉德,伊曼纽;洛佩兹,皮埃尔
1
2015
改进了简单表约化的下界。 Zbl 1316.90026
勒库特,克里斯托夫;像Vivatanavong,Chavalit;是的,罗兰H.C。
1
2015
可伸缩调度约束的同步扫描算法。 Zbl 1314.90039
勒特,阿诺;卡尔森,马茨;贝尔迪切努,尼古拉斯
1
2015
联合动员和疏散规划的列生成方法。 Zbl 1327.90353号
皮拉克,维克托;塞布赖恩,曼纽尔;范亨特莱克,帕斯卡
1
2015
所有不同系统的图着色不等式。 Zbl 1316.90056
伯格曼,大卫;胡克,J.N。
5
2014
meSAT:CSP到SAT的多个编码。 Zbl 1316.90049
斯托贾迪诺维奇,米尔科;马里奇,菲利普
4
2014
轻量化动态对称破坏。 Zbl 1338.90269号
米尔斯,克里斯托弗;德拉班达,玛丽亚·加西亚;德蒙,巴特;华莱士,马克
2014
对称性、几乎对称性和惰性子句生成。 Zbl 1316.90045
朱,杰弗里;德拉班达,玛丽亚·加西亚;米尔斯,克里斯托弗;斯图基,彼得J。
2014
表约束的最优有效滤波算法。 Zbl 1328.68201号
梅里,让·巴普蒂斯特;范亨特莱克,帕斯卡;德维尔,伊夫
2
2014
累积资源约束的二次寻边滤波算法。 Zbl 1314.90038
卡默涅,罗杰;福佐,劳尔·波琳;斯科特,约瑟夫;Ngo Kateu,Youcheu
2
2014
解释电路传播。 Zbl 1310.05144
弗朗西斯,凯瑟琳·格伦;斯图基,彼得J。
1
2014
加权约束满足下多时间线性全局代价函数的一致性技术。 Zbl 1316.90027
李,J.H.M。;梁国乐。;Shum,Y.W。
1
2014
连续约束的八边形抽象域。 Zbl 1338.90393
佩洛,玛丽;特鲁谢,夏洛特;贝纳莫,弗里德里克
1
2014
指导下的maxsat调查和解决方案。 Zbl 1317.90199
莫加多,安东尼奥;赫拉斯,费德里科;利菲顿,马克;飞机,乔迪;席尔瓦侯爵,乔奥
19
2013
并发约束规划的模型和新趋势。 Zbl 1317.90283
奥拉特,卡洛斯;鲁达,卡米洛;瓦伦西亚,弗兰克D。
12
2013
列举CSP解决方案的结构可追溯性。 Zbl 1310.05151
格雷科,詹路易吉;史卡略,弗朗西斯科
7
2013
柔性混合模型装配线的平衡与调度。 Zbl 1304.90149
厄兹图尔克,塞马莱汀;图纳尔,塞姆拉;Hnich,卜拉欣;厄尔尼克,M.阿尔斯兰
5
2013
关于全球约束的具体化。 兹布1328.68192
贝尔迪切努,尼古拉斯;卡尔森,马茨;弗莱纳,皮埃尔;皮尔逊,贾斯汀
4
2013
基于视图的传播子派生。 Zbl 1328.68202号
舒尔特,克里斯蒂安;塔克,吉多
4
2013
用可满足模理论求解元约束加权csp。 Zbl 1309.90083号
安索特吉,卡洛斯;波菲尔,米克尔;帕拉希,米克尔;苏伊,约瑟普;维拉雷特,马修
2013
使用双重预分解约化重新制定累积约束。 Zbl 1309.90066号
海因茨,斯特凡;舒尔茨,詹斯;贝克,J.克里斯托弗
2
2013
搜索组合词。 Zbl 1309.90090
施里杰弗斯,汤姆;塔克,吉多;维尔,皮尔;霍斯特,萨穆洛维茨;斯图基,彼得J。
2
2013
关于解决SAT或CSP等边缘匹配难题的难度。 Zbl 1310.05055
安索特吉,卡洛斯;贝加尔,拉蒙;费尔南德斯,塞萨尔;马修,卡尔
1
2013
拉丁方问题中的多余疾病。 Zbl 1317.90253
德蒙,巴特;加西亚·德拉班达,玛丽亚
1
2013
基于Nogood的异步前向检查算法。 Zbl 1327.90113
穆罕默德·瓦赫比;以撒希尔,雷杜安;贝西,克里斯蒂安;布亚赫夫,埃尔霍辛
1
2013
并行SAT求解综述。 Zbl 1309.90057
马丁斯,鲁本;曼奎诺,瓦斯科;林奇,因斯
9
2012
改进了加权电路约束。 Zbl 1309.90115
本奇莫尔,帕斯卡;范霍夫,威廉·扬;雷金,让·查尔斯;卢梭,路易·马丁;露尔,米歇尔
6
2012
用SAT模理论求解约束满足问题。 Zbl 1309.90099
波菲尔,米克尔;帕拉希,米克尔;苏伊,约瑟普;维拉雷特,马修
4
2012
欠约束数值系统的区间投影法。 Zbl 1309.90101号
石井,大介;亚历山大戈尔斯泰恩;杰曼,克里斯托夫
4
2012
基于约束的大规模邻域搜索。 Zbl 1242.90104号
穆苏伊,塞巴斯蒂安;范亨特莱克,帕斯卡;德维尔,伊夫
2
2012
Dulmage-Mendelsohn正则分解作为一种通用的剪枝技术。 Zbl 1309.90116
Cymer,Radosław公司
2
2012
利用约束规划中的子问题优势。 Zbl 1247.68249
朱,杰弗里;德拉班达,玛丽亚·加西亚;斯图基,彼得J。
1
2012
勘误:“异步回溯最小域追溯排序”。 Zbl 1304.68165
机械手,尤恩斯;穆罕默德·瓦赫比;贝西,克里斯蒂安;布亚赫夫,埃尔霍辛;梅塞尔,阿姆农;Zivan,罗伊
1
2012
LS(graph):一种基于约束的树和路径约束优化的局部搜索。 Zbl 1309.90089号
范,匡粪;德维尔,伊夫;范亨特莱克,帕斯卡
1
2012
参数化线性约束蕴涵的复杂性透视。 Zbl 1309.90107
艾瑞纳基斯,帕夫洛斯;萨尔瓦托鲁吉里;苏布拉曼尼,K。;沃伊切霍夫斯基,皮奥特
1
2012
排班问题整数规划建模的形式化语言。 Zbl 1215.90026
卡蒂,玛丽·克劳德;詹德伦,伯纳德;奎普,克劳德·盖伊;卢梭,路易·马丁
14
2011
基数网络:理论与实证研究。 兹布1217.68200
阿森,罗伯托;尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;罗德里格斯·卡博内尔,恩里克
13
2011
解释累计传播者。 Zbl 1226.68099
舒特,安德烈亚斯;费迪,蒂博;斯图基,彼得J。;华莱士,马克·G。
12
2011
STR2:针对表约束优化的简单表格缩减。 Zbl 1244.90232
勒库特,克里斯托夫
9
2011
扩展基数约束的全局可牵引性。 Zbl 1215.68164
萨默,马尔科;斯泽德,斯特凡
8
2011
单粒子弧一致性的有效算法。 Zbl 1216.68236
贝西,克里斯蒂安;卡登,圣潘;德布鲁恩,罗穆阿尔德;勒库特,克里斯托夫
6
2011
MDD传播子及其解释。 Zbl 1241.90066
恒河,格雷姆;斯图基,彼得J。;拉多斯瓦什曼克
5
2011
G12中的Dantzig-Wolfe分解与分支与价格求解。 Zbl 1213.90174
普钦格,雅各布;斯图基,彼得J。;华莱士,马克·G。;布兰德,塞巴斯蒂安
5
2011
最大限制路径一致性的新算法。 Zbl 1241.68098
龟甲炎;帕帕里佐,阿纳斯塔西亚;斯特吉奥,科斯塔斯;沃尔什,托比
2011
动态csp中最小扰动的混合搜索。 Zbl 1233.90176
Zivan,罗伊;格鲁布什坦,阿隆;梅塞尔,阿姆农
2011
肿瘤放射治疗优化的CP和IP方法。 Zbl 1213.90271
巴塔,达瓦次仁;博兰,纳塔夏;布兰德,塞巴斯蒂安;斯图基,彼得J。
2
2011
两层调度问题的约束规划方法。 Zbl 1233.90162
科瓦茨,安德鲁斯;基斯,塔玛斯
2
2011
一元资源总加权完成时间的全局约束。 Zbl 1215.90028
科瓦茨,安德鲁斯;贝克,J.克里斯托弗
1
2011
二次约束上的约束传播。 Zbl 1208.68200元
穹顶,费伦茨;纽梅尔,阿诺德
17
2010
用偏好解可满足性问题。 Zbl 1208.68199
迪罗莎,伊曼纽尔;朱西格里亚,恩里科;马拉茶,马可
17
2010
…还有188份文件
全部的 前5名

被1818位作者引用

22 斯图基,彼得·詹姆斯
18 卢梭,路易·马丁
17 席尔瓦侯爵。
16 Hnich,卜拉欣
15 库珀,马丁·C。
15 沃尔什,托比
14 奥拉特,卡洛斯
14 塔里木,S.Armagan
13 奥沙利文,巴里
13 罗西,罗伯托
13 范亨特莱克,帕斯卡
13 Živný,斯坦尼斯拉夫
12 贝西,克里斯蒂安
12 普雷斯特维奇,史蒂文D。
10 科恩,大卫A。
10 肖布,托尔斯滕H。
9 克里斯托弗·贝克
9 贝尔迪切努,尼古拉斯
9 博尔托鲁西,卢卡
9 德吉夫里,西蒙
9 穹顶,费伦茨
9 弗莱纳,皮埃尔
9 亚历山大戈尔斯泰恩
9 杰文斯,彼得G。
9 勒库特,克里斯托夫
9 李,吉米·霍曼
9 梅塞尔,阿姆农
9 斯基克斯,托马斯
8 艺术家,基督徒
8 坎巴扎德,哈德良
8 迪切特,瑞娜
8 格雷科,詹路易吉
8 胡克,约翰·N·俊。
8 拉罗莎,哈维尔
8 纽梅尔,阿诺德
8 克莉丝汀,索侬
8 威尔逊,尼克
7 卡尔森,马茨
7 焦林,卢克
7 乔森,彼得A。
7 洛佩兹,皮埃尔
7 米格尔,伊恩
7 南丁格尔,彼得W。
7 皮尔逊,贾斯汀
7 皮门特尔,伊莲
7 肖斯,皮埃尔
7 范霍夫,威廉·扬
7 Zivan,罗伊
6 博伊祖莫尔特,帕特里斯
6 Ciré,安德烈·奥古斯托
6 科迪什,迈克尔
6 德维尔,伊夫
6 加西亚·德拉班达,玛丽亚
6 詹德伦,伯纳德
6 瓜兰迪,斯特凡诺
6 伊格纳蒂耶夫,亚历克赛A。
6 李三江
6 门西亚,卡洛斯
6 阿尔伯托波利克里蒂
6 罗西,弗朗西丝卡
6 斯科卡尔特,史蒂文
6 施里杰弗斯,汤姆
6 斯泽德,斯特凡
6 塔克,吉多
6 华莱士,马克·G。
5 安索特吉,卡洛斯
5 巴拉霍纳,佩德罗
5 卡多利,马可
5 德考克,马丁尼
5 德蒙,巴特
5 弗里赫斯,托姆
5 恒河,格雷姆
5 格布瑟,马丁
5 希伯拉德,伊曼纽
5 希尔斯顿,简
5 亚诺塔,米科拉什
5 杰曼,克里斯托夫
5 劳德尼,萨米尔
5 林奇,因斯
5 曼奇尼,托尼
5 马拉茶,马可
5 米歇尔,劳伦特
5 米拉诺,米歇拉
5 佩桑特,吉尔
5 普雷维蒂,亚历山德罗
5 雷金,让·查尔斯
5 萨希尼迪斯,尼古拉斯诉。
5 史卡略,弗朗西斯科
5 安纳塔列夫
5 史密斯,芭芭拉·M。
5 瓦迪,莫斯伊。
5 维纳布尔,克里斯汀·布伦特
4 放荡,大卫
4 阿尔维亚诺,马里奥
4 布朗,肯尼斯N。
4 布拉托夫,安德烈A。
4 朱,杰弗里
4 亚历山德罗·西马蒂
4 费德里卡,西奥切塔
4 Codognet,菲利普
…还有1718位作者
全部的 前5名

被147种期刊引用

180 限制条件
123 人工智能
60 欧洲运筹学杂志
43 逻辑程序设计理论与实践
41 运筹学年鉴
35 理论计算机科学
33 计算机与运筹学
31 数学与人工智能年鉴
25 全球最优化杂志
22 离散应用数学
17 调度日志
16 通知杂志关于计算
12 信息与计算
11 计算机与系统科学杂志
11 自动推理杂志
11 启发式杂志
9 模糊集与系统
9 国际近似推理杂志
8 数学规划。A系列。B系列
8 组合优化期刊
7 系统设计中的形式化方法
6 信息科学
6 应用数学模型
6 雷罗。运筹学
5 信息学报
5 计算与应用数学杂志
5 4或
5 计算机科学中的数学
4 应用数学与计算
4 机器学习
4 杰泰。实验与理论人工智能杂志
4 人工智能研究杂志
4 工程数学问题
4 优化方法与软件
4 国际应用数学与计算机科学杂志
4 优化与工程
4 或光谱
4 计算逻辑学报
4 欧洲计算优化杂志
离散数学
自动
最优化理论与应用杂志
暹罗计算机杂志
算法
人工智能通信
模式识别
控制论与系统分析
计算优化及其应用
塞约尔。中欧运筹学杂志
计算机基础理论
离散算法杂志
模糊优化与决策
计算机科学中的逻辑方法
数学规划计算
程序设计中的逻辑和代数方法杂志
SN运筹学论坛
2 信息处理信函
2 钻头
2 统计规划与推理杂志
2 网络
2 运筹学信函
2 国际生产研究杂志
2 暹罗离散数学杂志
2 随机结构与算法
2 国际计算机与系统科学杂志
2 应用非经典逻辑杂志
2 可靠计算
2 运筹学国际交易
2 计算系统理论
2 不等式与应用杂志
2 图论算法与应用杂志
2 电子商务研究
2 吉玛。数学建模与算法杂志
2 应用逻辑杂志
2 医学中的计算与数学方法
2 国际语义计算杂志
2 算法
1 计算机与数学及其应用
1 国际控制杂志
1 印度纯粹与应用数学杂志
1 数学分析与应用杂志
1 统计物理学杂志
1 物理报告
1 计算
1 国际博弈论杂志
1 代数杂志
1 哲学逻辑杂志
1 圣母院形式逻辑杂志
1 运筹学
1 软件。实践与经验
1 欧洲组合学杂志
1 控制论与系统
1 计算机程序设计学
1 数学社会科学
1 组合
1 伊朗数学学会公报
1 分类杂志
1 符号计算杂志
1 计算机科学与技术杂志
1 新一代计算
…还有47本杂志

按年份列出的引文