约束条件国际期刊 简短标题： 约束条件 出版商： 施普林格美国，纽约，纽约 国际标准编号： 1383-7133; 1572-9354/个 在线： https://link.springer.com/journal/10601/volumes-and-issues网站 评论： 日记账 已编制索引的文档： 464出版物（自1997年起） 索引的引用： 311出版物参考文献11356。 全部的 前5名最新问题 28，编号3（2023） 28，编号2（2023） 28，编号1（2023） 27，编号4（2022） 27，编号3（2022） 27，编号1-2（2022） 26，编号1-4（2021） 25，第3-4号（2020） 25，第1-2号（2020） 24，第3-4号（2019） 242019年第2期 242019年第1期 23，第4号（2018） 23，第3号（2018） 23，第2号（2018） 232018年第1期 222017年第4号 222017年第3号 222017年第2期 222017年第1期 212016年第4号 212016年第3号 212016年第2期 212016年第1期 202015年第4号 202015年第3期 202015年第2期 202015年第1期 192014年第4号 192014年第3期 192014年第1期 182013年第4号 182013年第3期 182013年第2期 182013年第1期 172012年第4号 172012年第3号 172012年第2期 172012年第1期 162011年第4号 162011年第3期 162011年第2期 162011年第1期 152010年第4期 152010年第3期 152010年第2期 152010年第1期 142009年第4期 142009年第3期 142009年第2期 142009年第1期 132008年第4号 13，第3号（2008年） 13，第1-2号（2008） 12，第4号（2007年） 122007年第3号 122007年第2期 122007年第1期 11，第4号（2006年） 112006年第2-3号 112006年第1期 102005年第4号 102005年第3期 102005年第2期 102005年第1期 92004年第4期 92004年第3期 92004年第2期 92004年第1期 8，第4号（2003） 82003年第3期 82003年第2期 8，第1期（2003） 7，第3-4号（2002） 72002年第2期 7，第1期（2002年） 62001年第4号 62001年第2-3号 6，第1号（2001年） 52000年第4期 52000年第3期 52000年第1-2号 4，第4号（1999） 4，第3号（1999） 4，第2期（1999年） 4，第1期（1999年） 3，第4号（1998年） 3，第2-3号（1998年） 3，第1期（1998年） 2，第3-4号（1997） 2，第2号（1997年） 2，第1号（1997） 1，第3号（1997） 全部的 前5名作者 23 帕斯卡·范·亨特利克 21 彼得·詹姆斯·斯塔基 9 尼古拉斯·贝尔迪塞努 9 皮埃尔·弗莱纳 9 玛丽亚·加西亚·德拉班达 9 李，吉米·霍曼 8 克里斯蒂安·贝西尔 8 卡尔森，Mats 8 Amnon Meisels公司 8 卢梭，路易斯·马汀 8 马克·华莱士。 7 J.克里斯托弗·贝克 7 伊夫·德维尔 7 埃曼纽尔·希伯拉德 7 赫尼奇，卜拉欣 7 劳伦特·米歇尔 7 贾斯汀·皮尔逊 7 威廉·扬·范霍夫 7 沃尔什，托比 6 约翰·胡克（John N.jun Hooker）。 6 彼得·杰文斯（Peter G.Jeavons）。 6 巴里·奥沙利文 6 皮埃尔·绍斯 6 托马斯·希克斯 6 罗伊·齐万 5 罗尔夫·巴科芬 5 佩德罗·巴拉奥纳 5 迈克尔·科迪什 5 大卫·A·科恩。 5 西蒙·德·吉夫里 5 尤金·弗洛伊德。 5 Joáo P.塞尔瓦侯爵。 5 万豪酒店，Kim 5 克里斯托弗·米尔斯 5 史蒂文·普雷斯特维奇。 5 查尔斯·普鲁德霍姆 5 克洛德·盖·昆珀 5 米歇尔·鲁赫 5 芭芭拉·史密斯。 5 科斯塔斯·斯特乔 4 罗马人Barták 4 哈德里安·坎巴扎德 4 马丁·库珀。 4 丽娜·德希特 4 亚历山大·戈德斯特恩 4 沃里克·哈维 4 纳伦德拉·尤西恩 4 法律，Yat Chiu 4 克洛德·勒帕普 4 克利斯朵夫·勒库特 4 泽维尔·洛卡 4 佩德罗·梅塞格尔 4 吉尔斯·佩森特 4 路易斯·奥·奎萨达。 4 赫尔穆特·西蒙尼斯 4 塔里木，S.Armagan 4 夏洛特·特拉切特 4 罗兰·H·C·雅普。 3 Artigues，克里斯蒂安 3 菲利普·巴普蒂斯特 3 米克尔波菲尔 3 El Houssine Bouyakhf 3 亚历山大·布罗茨基 3 伊夫·卡索 3 杰弗里·楚 3 安德烈·奥古斯托·西雷 3 菲利普·科多涅特 3 巴特·德梅恩 3 赫莱内·法吉尔 3 埃里克·格雷戈里 3 阿夫拉罕·伊扎科夫 3 艾丽特·凯特里尔 3 宫崎骏小村 3 马克·利菲顿（Mark H.Liffiton）。 3 隆巴迪，米歇尔 3 皮埃尔·洛佩兹 3 林奇，因斯 3 贝特朗·马祖尔 3 米歇拉·米兰 3 蒂埃里·佩蒂特 3 帕特里克·普洛瑟 3 雷金、珍妮·查尔斯 3 罗西、罗伯托 3 阿卜杜勒·萨塔尔 3 梅诺夫·塞尔曼 3 塔克，吉多 3 西里尔·特里奥克斯 3 Gilles Trombettoni 3 Edward P.K.Tsang。 3 莫西·亚亚科夫·瓦尔迪 3 杰拉德·弗法利 3 马图·维拉雷特 3 马克·瓦夫雷 3 威尔，塞巴斯蒂安 3 尼克·威尔逊 2 阿奇利奥普塔斯，迪米特里斯 2 奥格伦，马格纳斯 2 愤怒，弗兰克·D。 2 卡洛斯·安索特吉 2 叶卡捷琳娜·阿拉法利奥娃 …还有674名作者 全部的 前5名领域 302 计算机科学（68至XX） 205 运筹学、数学规划（90-XX） 24 总体主题；集合（00-XX） 20 组合数学（05-XX） 13 博弈论、经济学、金融和其他社会和行为科学（91-XX） 10 数学逻辑和基础（03-XX） 8 生物学和其他自然科学（92-XX） 7 数值分析（65-XX） 4 信息与通信理论、电路（94-XX） 3 统计学（62-XX） 2 量子理论（81-XX） 2 统计力学，物质结构（82-XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 一般代数系统（08-XX） 1 群论与推广（20-XX） 1 常微分方程（34-XX） 1 凸和离散几何（52至XX） 1 概率论与随机过程（60-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 319出版物有被引用2292中的次1456文件 引用人▼ 年份▼ 在约束优化和约束满足问题中，使用变量消除来增强搜索。 兹伯利1057.68114 哈维尔·拉罗萨;丽娜·德希特 105 2003 基于半环的CSP和有价值的CSP：框架、属性和比较。 Zbl 0946.68143号 比斯塔雷利，S。;美国蒙塔纳里。;F.罗西。;希克斯，T。;弗法利，G。;Fargier，H。 70 1999 通过惰性子句生成进行传播。 Zbl 1192.68654号 奥尔加·奥里蒙科;彼得·斯图基（Peter J.Stuckey）。;迈克尔·科迪什 52 2009 A类成本固定的基于混合列的生成方法。 Zbl 1117.90066号 索菲·德马西;吉尔斯·佩森特;卢梭，路易斯·马汀 38 2006 在随机并发约束规划中建模生物系统。 Zbl 1144.92001号 卢卡·博托卢西;阿尔贝托，Policriti 37 2008 迭代和核心指导的maxsat求解：调查和评估。 Zbl 1317.90199号 安东尼奥·莫尔加多;费德里科·赫拉斯;马克·利菲顿;飞机，乔迪;若昂·西尔瓦侯爵 36 2013 用于调度的IBM ILOG CP优化器。在IBM/ILOG有20多年的时间安排限制。 Zbl 1400.90169号 菲利普·拉博里;杰罗姆·罗杰里;保罗·肖;彼得·维利姆 34 2018 无线链路频率分配。 Zbl 1020.94500 卡朋，B。;德吉夫里，S。;洛比尤斯。;希克斯，T。;华纳，J.P。 32 1999 将有限线性CSP编译成SAT。 Zbl 1186.68076号 铃木田村;阿基科·塔加;北川聪;穆苏诺里·班巴拉 32 2009 锌建模语言的设计。 Zbl 1146.68352号 万豪酒店，Kim;尼古拉斯·奈瑟科特;雷扎·拉斐;彼得·斯图基（Peter J.Stuckey）。;玛丽亚·加西亚·德拉班达;华莱士，马克 32 2008 随机约束满足：缺陷和结构。 Zbl 0992.68193号 伊恩·詹特（Ian P.Gent）。;伊万麦金太尔;帕特里克·普洛瑟;芭芭拉·史密斯。;沃尔什，托比 30 2001 CTP：一种新的基于约束的形式主义，用于有条件的时间规划。 Zbl 1074.68616号 Ioannis的Tsamardinos;蒂埃里·维达尔;Martha E.Pollack。 29 2003 随机约束满足：更准确的图片。 Zbl 0984.68085号 阿奇利奥普塔斯，迪米特里斯;迈克尔·S·O·莫洛伊。;Lefteris M.基鲁西斯。;Yannis C.Stamatiou。;埃文格洛斯·克拉纳基斯;丹尼·克里桑克 27 2001 随机约束编程：一种基于场景的方法。 Zbl 1103.68828号 塔里木Armagan，S。;苏雷什·马南达尔;沃尔什，托比 27 2006 用偏好解决可满足性问题。 Zbl 1208.68199号 伊曼纽尔·迪·罗莎;恩里科Giunchilia;马可·马拉提亚 27 2010 计划和调度的混合方法。 邮编1122.90054 胡克，J.N。 26 2005 快速、灵活的MUS枚举。 Zbl 1334.90080号 马克·利菲顿（Mark H.Liffiton）。;亚历山德罗·普雷维蒂;阿马尔·马利克;若昂·西尔瓦侯爵 26 2016 地球观测卫星管理。 Zbl 0963.90507号 E.本萨纳。;M.莱马？特雷。;弗法利，G。 25 1999 本质：用于指定组合问题的约束语言。 兹比尔1147.68424 艾伦·M·弗里希。;沃里克·哈维;克里斯·杰斐逊;伯纳黛特·马丁内斯·埃尔南德斯;伊恩·米格尔 24 2008 深度神经网络和混合整数线性优化。 Zbl 1402.90096号 马蒂奥·菲舍蒂;杰森·乔 23 2018 集合推理的区间传播：实用语言的定义和实现。 Zbl 0870.68039号 葛维，卡门 22 1997 基数网络：一项理论和实证研究。 Zbl 1217.68200号 罗伯托·阿斯因;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 22 2011 覆盖测试问题的约束模型。 Zbl 1103.68810号 赫尼奇，卜拉欣;史蒂文·普雷斯特维奇。;叶夫根尼·塞伦斯基;芭芭拉·史密斯。 22 2006 约束满足问题的对称定义。 Zbl 1103.68809号 大卫·科恩;彼得·杰文斯;克里斯托弗·杰斐逊;凯伦·皮特里（Karen E.Petrie）。;芭芭拉·史密斯。 20 2006 一种基于MDD的广义弧一致性算法，用于正负表约束和一些全局约束。 Zbl 1204.68188号 Cheng，Kenil C.K。;罗兰·H·C·雅普。 20 2010 用于高度析取和高度累积项目调度问题的约束传播和分解技术。 Zbl 0941.90030号 菲利普·巴普蒂斯特;克洛德·勒帕普 19 2000 量化布尔公式的自适应多引擎求解器。 Zbl 1183.68589号 卢卡·普利纳;阿曼多·塔切拉 19 2009 全局基数约束的基于成本的弧一致性。 Zbl 1028.68157号 雷金、珍妮·查尔斯 19 2002 动态调度中最小扰动的探测回溯搜索。 Zbl 0970.68014号 哈尼族El Sakkout;华莱士，马克 18 2000 轮班调度问题整数规划建模的形式化语言。 Zbl 1215.90026号 科特，玛丽·克劳德;伯纳德·根德伦;克洛德·盖·昆珀;卢梭，路易斯·马汀 18 2011 二次约束上的约束传播。 Zbl 1208.68200号 穹顶，费伦茨;阿诺德·诺伊梅尔 18 2010 全局NLP和MINLP优化的域约简技术。 Zbl 1387.90164号 亚什·普兰尼克;尼古拉斯五世·萨希尼迪斯。 18 2017 解决各种有约束的加权匹配问题。 Zbl 0949.90058号 伊夫·卡索;弗朗索瓦·拉伯特 17 2000 有值约束满足的高阶一致性。 Zbl 1112.68118号 马丁·库珀。 17 2005 解释累计传播者。 Zbl 1226.68099号 安德烈亚斯·舒特;蒂鲍特·费迪;彼得·斯图基（Peter J.Stuckey）。;马克·华莱士。 17 2011 解决难定性时态推理问题：评估ORD-Horn类的使用效率。 Zbl 0870.68138号 伯恩哈德·内贝尔 16 1997 全球约束目录：过去、现在和未来。 Zbl 1128.68092号 尼古拉斯·贝尔迪塞努;卡尔森，Mats;索菲·德马西;蒂埃里·佩蒂特 15 2007 扩展的全局基数约束的可追踪情况。 Zbl 1215.68164号 马可·萨梅尔;斯泽德，斯特凡 15 2011 SALSA：搜索算法语言。 Zbl 1020.68028号 弗朗索瓦·拉伯特;伊夫·卡索 15 2002 二次约束的严格全局滤波算法。 Zbl 1066.90090号 雅希亚·利巴;克劳德·米歇尔;米歇尔·鲁赫 13 2005 关于对称性检测的实现。 Zbl 1181.68177号 米尔斯，C。;M.加西亚·德拉班达。;M.华莱士。 13 2009 使用SMT解决不确定性时间问题的强可控性。 Zbl 1314.90043号 亚历山德罗·西马蒂;安德烈亚·米凯利;马可·罗维里 13 2015 约束简化规则的汇合和语义。 Zbl 0951.68070号 Abdennadher，苗条;托姆·吕维思;霍尔格·缪斯 13 1999 面向优化的全局约束。 Zbl 1028.68024号 菲利波·福卡奇;安德烈·洛迪;米歇拉·米兰 13 2002 服务水平约束下随机库存系统的全局机会约束。 Zbl 1162.90318号 罗西、罗伯托;塔里木，S.Armagan;赫尼奇，卜拉欣;史蒂文·普雷斯特维奇 12 2008 决策图的拉格朗日界。 兹比尔1327.90116 大卫·伯格曼;安德烈·西尔（Andre A.Cire）。;范霍夫，威廉·扬 12 2015 并发约束编程的模型和新兴趋势。 Zbl 1317.90283号 卡洛斯·奥拉特;卡米洛·鲁埃达;弗兰克·巴伦西亚。 12 2013 STR2：针对表约束的优化简单表约简。 Zbl 1244.90232号 克利斯朵夫·勒库特 12 2011 模糊优化中的加权约束聚合。 兹比尔1040.68112 美国凯马克。;J.M.索萨。 12 2003 提取最小最小不可满足子公式的分枝定界算法。 兹比尔1181.90291 马克·利菲顿;马赫·姆奈姆;林奇，因斯;扎赫·安德劳斯;佐奥·西尔瓦侯爵;卡伦·萨卡拉 12 2009 通过冗余建模增加约束传播：经验报告。 Zbl 0949.68605号 程，B.M.W。;Choi，K.M.F.先生。;J.H.M.李。;吴建中（Wu，J.C.K.）。 12 1999 一种计划和调度的集成方法，以最小化延误。 Zbl 1103.68811号 胡克，J.N。 11 2006 使用约束逻辑编程安排体育比赛。 Zbl 0949.90045号 安德烈亚·谢尔夫 11 1999 使用约束规划学习最优决策树。 Zbl 07446942号 赫莱内·维哈盖;齐格弗里德·尼杰森;吉尔斯·佩森特;克洛德·盖·昆珀;皮埃尔·绍斯 11 2020 并行SAT求解概述。 Zbl 1309.90057号 鲁本·马丁斯;Vasco Manquinho公司;林奇，因斯 11 2012 利用约束编程平衡自行车共享系统。 Zbl 1334.90078号 迪加斯佩罗，卢卡;安德烈亚·伦德尔;托马索·乌利 11 2016 mUS的局部搜索提取。 Zbl 1211.90307号 埃里克·格雷戈里;贝特朗·马祖尔;塞德里克馅饼 10 2007 DisCSP的异步转发检查。 Zbl 1118.68158号 Amnon Meisels公司;罗伊·齐万 10 2007 求反范式中QBF的解算器。 Zbl 1167.68054号 埃格利，乌韦;马蒂娜·塞德尔;斯特凡·沃尔特兰 10 2009 字典序约束满足问题。 Zbl 1191.68632号 尤金·弗洛伊德。;罗伯特·赫夫南;理查德·J·华莱士。;尼克·威尔逊 10 2010 使用加权约束满足技术检测复杂家系中的孟德尔错误。 Zbl 1144.92324号 马蒂·桑切斯;西蒙·德·吉夫里;托马斯·希克斯 10 2008 一个新的框架，用于使用解流形快速有效地解析NCSP。 Zbl 1203.65086号 亚历山大·戈德斯特恩;Laurent Granvilliers 10 2010 MaxSAT中基于分辨率的下限。 Zbl 1208.68204号 李楚敏;很多，费利普;穆罕默德·乌尔德;飞机，乔迪 10 2010 定位器。 Zbl 0988.90015号 劳伦特·米歇尔;帕斯卡·范·亨特利克 9 2000 在有侧约束的车辆路径问题上，传统启发式方法和基于约束的启发式方法的比较。 Zbl 0985.90038号 菲利普·基尔比;帕特里克·普洛瑟;保罗·肖 9 2000 对称打破了约束满足中值对称的约束。 Zbl 1103.68813号 法律，Y.C。;J.H.M.李。 9 2006 时间限制：调查。 兹比尔0911.68186 埃迪·施瓦布;利亚斯·维拉 9 1998 图同构问题的参数滤波算法。 Zbl 1162.05337号 塞巴斯蒂安·索林;克莉丝汀·索尔农 9 2008 几秒钟内解决柯克曼的女学生问题。 Zbl 1112.90064号 尼古拉斯·巴尼尔;帕斯卡·布里塞特 9 2005 重新审视对称性破坏。 Zbl 1071.68094号 Jean-François普吉 9 2005 基于约束检查器重新设置全局约束。 Zbl 1103.68804号 尼古拉斯·贝尔迪塞努;卡尔森，Mats;罗穆拉德·德布鲁恩;蒂埃里·佩蒂特 9 2005 常微分方程中的一致性技巧。 Zbl 1020.65035号 伊夫·德维尔;米查·詹森;帕斯卡·范·亨特利克 9 2002 约束满足问题中的可追踪性：一项调查。 Zbl 1334.90220号 石炭纪，Clément;马丁·库珀。 9 2016 全局基数约束的完全绑定一致性。 Zbl 1084.68138号 艾丽特·凯特里尔;斯文·泰尔 8 2005 不确定和动态环境中的约束求解：综述。 兹比尔1086.68595 杰拉德·弗法利;纳伦德拉·尤西恩 8 2005 DisCSP上异步回溯的动态排序。 Zbl 1103.68117号 罗伊·齐万;Amnon Meisels公司 8 2006 具有全局约束的推理的复杂性。 Zbl 1124.68103号 克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;赫尼奇，卜拉欣;沃尔什，托比 8 2007 基数：有限集约束求解器。 Zbl 1118.68653号 弗朗西斯科·阿泽夫多 8 2007 稳定婚姻的精致不平等。 Zbl 1028.91530号 布莱恩·奥尔德斯霍夫;奥利维亚·M·卡杜奇。;大卫·C·洛伦。 8 1999 G12中的Dantzig-Wolfe分解和分支与价格求解。 Zbl 1213.90174号 雅各布·普钦格;彼得·斯图基（Peter J.Stuckey）。;马克·华莱士。;布兰德，塞巴斯蒂安 8 2011 MDD传播器及其解释。 Zbl 1241.90066号 格雷姆·恒河;彼得·斯图基（Peter J.Stuckey）。;拉多斯瓦夫·西曼内克 8 2011 限制分支在小句学习中的局限性。 兹比尔1192.68643 马蒂·Järvisalo;汤米·琼蒂拉 8 2009 基于约束的局部搜索的模型驱动可视化。 Zbl 1179.68141号 末日，格里戈伊尔;帕斯卡·范·亨特利克;劳伦特·米歇尔 8 2009 基于约束的属性和间隔规划。 Zbl 1074.68609号 弗兰克、杰里米;亚利桑那州Jónsson 8 2003 改进了加权电路约束的滤波。 兹比尔1309.90115 苯硫醇，帕斯卡;威廉·扬·范霍夫;雷金、珍妮·查尔斯;卢梭，路易斯·马汀;米歇尔·鲁赫 8 2012 通过重新表述为可满足性模理论，求解具有元约束的加权CSP。 Zbl 1309.90083号 卡洛斯·安索特吉;米克尔波菲尔;米克尔帕拉西;Suy，约瑟普;马图·维拉雷特 8 2013 枚举CSP解决方案的结构可处理性。 Zbl 1310.05151号 吉安路易吉·格雷科;弗朗西斯科·斯卡切罗 8 2013 来自所有不同系统的图着色不等式。 Zbl 1316.90056号 大卫·伯格曼;胡克，J.N。 8 2014 可由图割表示的子模块约束类。 Zbl 1208.68196号 斯坦尼斯拉夫·伊文;彼得·杰文斯（Peter G.Jeavons）。 8 2010 图形表示中对称破缺的约束。 Zbl 1425.05099号 迈克尔·科迪什;爱丽丝·米勒;帕特里克·普洛瑟;彼得·斯图基（Peter J.Stuckey）。 8 2019 关于计算最小独立支持及其在采样和计数中的应用。 Zbl 1334.90146号 亚历山大·伊夫里;沙拉德·马利克;Kuldeep S.梅尔。;莫舍·瓦尔迪。 8 2016 具有位置拥塞的车辆路径问题的分支-价格-检查模型。 Zbl 1368.90115号 爱德华·兰姆;帕斯卡·范·亨特利克 8 2016 图形模型离散优化中精确解的多语言评估。 Zbl 1368.90107号 巴里，赫尔利;巴里·奥沙利文;阿洛奇，大卫;乔治·卡特西雷洛斯;托马斯·希克斯;马蒂亚斯·兹特尼基;西蒙·德·吉夫里 8 2016 拓扑关系和凸性的约束网络。 Zbl 0946.68082号 欧内斯特·戴维斯;尼古拉斯·马克·戈茨;安东尼·科恩（Anthony G.Cohn）。 7 1999 通过最优软弧一致性最小化局部定义的子模函数。 Zbl 1180.90262号 马丁·库珀。 7 2008 单点弧一致性的高效算法。 Zbl 1216.68236号 克里斯蒂安·贝西尔;圣埃芬·卡顿;罗穆拉德·德布鲁恩;克利斯朵夫·勒库特 7 2011 医院/住户与夫妇的“最稳定”匹配问题。 兹比尔1387.90143 大卫·F·曼洛夫。;伊恩·麦克布莱德;詹姆斯·特里姆布尔 7 2017 一种求解具有连续资源和能量约束的调度问题的混合精确方法。 Zbl 1327.90073号 玛歌·纳塔夫;Artigues，克里斯蒂安;皮埃尔·洛佩兹 7 2015 通过更改约束表示改进线性约束传播。 Zbl 1039.68119号 沃里克·哈维;彼得·斯图基（Peter J.Stuckey）。 7 2003 通过答案集编程用动作语言建模生物网络。 Zbl 1148.68564号 史蒂夫·德沃夏克;苏珊·格雷尔;维多利亚·J·尼基福罗娃。;托尔斯滕·绍布;约阿希姆·塞尔比格 7 2008 学习旅行推销员问题需要重新思考泛化。 Zbl 1495.90156号 Joshi，Chaitanya K。;盖零件，昆廷;卢梭，路易斯·马汀;托马斯·洛朗 2 2022 约束满足问题的快速并行分解。 Zbl 07594545号 乔治·戈特洛布;塞姆·奥库莫斯;莱因哈德·皮克勒 2 2022 团划分问题的简明整数线性规划公式。 Zbl 1495.90225号 宫崎骏小村;艾米·渡边;樱井裕子;Makoto Yokoo公司 1 2022 决策图的变量排序：一种投资组合方法。 Zbl 1496.91043号 安东尼·卡拉哈利奥斯;威廉·扬·范霍夫 1 2022 具有随机表约束的解决方案采样。 Zbl 07640672号 马修·瓦维尔;夏洛特·特拉切特;普鲁德；老兄，查尔斯 1 2022 具有循环偏好的三维稳定匹配问题的约束规划模型集合。 Zbl 1498.91280号 切赫，阿格内斯;纪尧姆·埃斯卡莫彻;贝圭姆将军;路易斯·奎萨达 1 2022 量子退火在快速溶液结构识别中的潜力。 Zbl 1485.81022号 雨晨·庞;卡尔顿·科夫林;安德烈·洛霍夫。;马克·瓦夫雷 1 2021 学会放松：将0-1整数线性规划与伪布尔冲突驱动搜索相结合。 Zbl 1524.68342号 乔·德弗里安特;安布罗斯·格莱克斯纳;雅各布诺德斯特伦 1 2021 使用约束规划学习最优决策树。 Zbl 07446942号 赫莱内·维哈盖;齐格弗里德·尼杰森;吉尔斯·佩森特;克洛德·盖·昆珀;皮埃尔·绍斯 11 2020 集成整数规划和决策图搜索树，并应用于最大独立集问题。 Zbl 1452.90265号 Jaime E.González。;安德烈·西尔（Andre A.Cire）。;安德烈·洛迪;卢梭，路易斯·马汀 4 2020 通过约束满足实现组件接口的非局部配置。 Zbl 1508.68404号 奥尔加·特维雷蒂纳;巴维尔·扎伊琴科夫;亚历克斯·沙法伦科 1 2020 高效的多约束获取。 Zbl 1483.90067号 迪莫斯坦尼斯·索罗斯（Dimostenis C.Tsouros）。;科斯塔斯·斯特乔 1 2020 证明基于动态对称处理的SAT解算器的UNSAT结果。 Zbl 1508.68349号 罗德里格·科南·钦达;Djameni，Clémentin Tayo，Clémentin塔尤 1 2020 图形表示中对称破缺的约束。 Zbl 1425.05099号 迈克尔·科迪什;爱丽丝·米勒;帕特里克·普洛瑟;彼得·斯图基（Peter J.Stuckey）。 8 2019 \MaxSAT伪布尔约束的（N）级基于模的CNF编码。 Zbl 1483.68244号 查、奥龙;宫崎骏小村;藤田，广岛 3 2019 将CP子问题编译为MDD和d-DNNF。 Zbl 1468.68195号 迭戈·德乌尼亚;格雷姆·恒河;彼得·沙赫特;彼得·斯图基（Peter J.Stuckey）。 2 2019 使用多路合并选择网络编码基数约束。 Zbl 1432.68417号 米查·卡宾斯基;马雷克·彼得罗 2 2019 改进的WPM编码用于MC-nets下的联盟结构生成。 Zbl 1468.68203号 廖晓娟;宫崎骏小村;川崎野本;铃木上田;樱井裕子;Makoto Yokoo公司 1 2019 邻里单身一致性。 Zbl 1468.68207号 科斯塔斯·斯特乔 1 2019 依赖于物料的库存成本约束。 Zbl 1430.90230号 维纳斯坦·拉特海尔洪吉;皮埃尔·绍斯;劳伦斯·沃尔西 1 2019 并非所有的FPRAS都是相等的：为DNF计数揭开FPRAS的神秘面纱。 Zbl 1483.68498号 Kuldeep S.梅尔。;Aditya A.Shrotri。;莫舍·瓦尔迪。 1 2019 布尔博弈中基于激励的均衡搜索。 兹比尔1427.91012 瓦迪姆·莱维特;佐哈尔·科马罗夫斯基;塔尔·格林斯彭;Ana L.C.巴赞。;Amnon Meisels公司 1 2019 用于调度的IBM ILOG CP优化器。在IBM/ILOG有20多年的时间安排限制。 Zbl 1400.90169号 菲利普·拉博里;杰罗姆·罗杰里;保罗·肖;彼得·维利姆 34 2018 深度神经网络和混合整数线性优化。 Zbl 1402.90096号 马蒂奥·菲舍蒂;杰森·乔 23 2018 圣杯的进展。 Zbl 1402.90178号 尤金·弗洛伊德。 6 2018 使用GPU加速（分布式）离散优化的精确和近似推理。 Zbl 1395.90187号 费迪南多·菲奥雷托;恩里科·蓬泰利;Yeoh，William威廉;丽娜·德希特 3 2018 混合模型线平衡与平行站、分区约束和人体工程学。 Zbl 1414.90233号 阿纳斯州阿尔加西;玛丽·库兹（Mary E.Kurz）。 3 2018 约束编程和操作研究。 Zbl 1402.90148号 胡克，J.N。;瓦恩·霍伊夫。 2 2018 基于正则表达式特征导出时间序列约束的通用边界。 Zbl 1396.90047号 叶卡捷琳娜·阿拉法利奥娃;尼古拉斯·贝尔迪塞努;赫尔穆特·西蒙尼斯 1 2018 全球约束在实践中的效率如何？一个公平的实验框架。 Zbl 1394.90431号 Van Cauwelaert，萨沙;米歇尔·伦巴第;皮埃尔·绍斯 1 2018 MiniBrass：MiniZinc的软约束。 Zbl 1430.90525号 亚历山大·希恩多夫;亚历山大·克纳普;杰里特·安德斯;沃尔夫冈·雷夫 1 2018 从MDD到BDD和电弧一致性。 兹比尔1468.68209 朱利安·维昂;Sylvain Piechowiak 1 2018 分离约束的线性时间滤波算法和累积非第一非最大的二次滤波算法。 Zbl 1457.90067号 哈米德·法希米;亚尼克·欧莱特;克洛德·盖·昆珀 1 2018 全局NLP和MINLP优化的域约简技术。 Zbl 1387.90164号 亚什·普兰尼克;尼古拉斯五世·萨希尼迪斯。 18 2017 医院/住户与夫妇的“最稳定”匹配问题。 Zbl 1387.90143号 大卫·F·曼洛夫。;伊恩·麦克布莱德;詹姆斯·特里姆布尔 7 2017 使用约束编程求解RCPSP/MAX-cal。 兹比尔1387.90092 斯特凡·克雷特;安德烈亚斯·舒特;彼得·斯图基（Peter J.Stuckey）。 6 2017 超时间网络。简单时间网络的一个易处理的推广及其与平均支付博弈的关系。 Zbl 1390.90102号 卡洛·科明;罗伯托·波塞纳托;罗密欧·里兹 6 2017 什么是命题可满足性的答案集编程。 兹比尔1423.68483 尤利亚·利勒 5 2017 传播的力量：当GAC足够的时候。 Zbl 1387.90130号 大卫·A·科恩。;彼得·杰文斯（Peter G.Jeavons）。 4 2017 用于约束编程的微内核体系结构。 Zbl 1390.90520号 米歇尔，L。;Van Hentenryck，P。 4 2017 MiniZin子问题预解决的自动稳定。 Zbl 1425.68386号 Jip J.德克尔。;古斯塔夫·比约达尔;卡尔森，Mats;皮埃尔·弗莱纳;珍妮·诺埃尔·莫内特 2 2017 具有可变任务配置文件和凹分段线性处理率函数的累积调度。 Zbl 1384.90047号 玛歌·纳塔夫;Artigues，克里斯蒂安;皮埃尔·洛佩兹 2 2017 成本函数网络的基于三角形的一致性。 Zbl 1390.90116号 Nguyen，Hiep（希普·阮）;克里斯蒂安·贝西尔;西蒙·德·吉夫里;托马斯·希克斯 2 2017 最佳功率流的图形模型。 Zbl 1387.90262号 克里希纳穆尔西·德维约塔姆;迈克尔·切尔特科夫;帕斯卡·范·亨特利克;马克·瓦夫雷;西德汉·米斯拉 1 2017 用约束编程挖掘时间约束序列模式。 兹比尔1425.68338 约翰·奥加（John O.R.Aoga）。;枪，蒂亚斯;皮埃尔·绍斯 1 2017 序列模式挖掘的前缀-投影全局约束和top-（k）方法。 Zbl 1427.68066号 阿米娜·凯玛;雅希亚·利巴;萨米尔·卢德尼;帕特里斯·博伊祖马尔;查诺伊斯、蒂埃里 1 2017 快速、灵活的MUS枚举。 Zbl 1334.90080号 马克·利菲顿（Mark H.Liffiton）。;亚历山德罗·普雷维蒂;阿马尔·马利克;若昂·西尔瓦侯爵 26 2016 利用约束编程平衡自行车共享系统。 兹比尔1334.90078 迪加斯佩罗，卢卡;安德烈亚·伦德尔;托马索·乌利 11 2016 约束满足问题中的可追踪性：一项调查。 Zbl 1334.90220号 石炭纪，Clément;马丁·库珀。 9 2016 关于计算最小独立支持度及其在采样和计数中的应用。 Zbl 1334.90146号 亚历山大·伊夫里;沙拉德·马利克;Kuldeep S.梅尔。;莫舍·瓦尔迪。 8 2016 具有位置拥塞的车辆路径问题的分支、价格和检验模型。 Zbl 1368.90115号 爱德华·兰姆;帕斯卡·范·亨特利克 8 2016 图形模型离散优化中精确解的多语言评估。 Zbl 1368.90107号 巴里，赫尔利;运营；巴里·沙利文;阿洛奇，大卫;乔治·卡特西雷洛斯;托马斯·希克斯;马蒂亚斯·兹特尼基;西蒙·德·吉夫里 8 2016 量化最大可满足性。 Zbl 1334.90075号 阿列克谢·伊格纳提耶夫;米科拉什·亚诺塔;若昂·西尔瓦侯爵 6 2016 使用抽象和对称破缺计算拉姆齐数（R（4,3,3））。 Zbl 1368.05046号 迈克尔·科迪什;迈克尔·弗兰克;阿夫拉罕·伊扎科夫;爱丽丝·米勒 6 2016 关于使用CLP和SAT解算器枚举Petri网中的最小信标：理论和实践复杂性。 Zbl 1336.92031号 法滕·纳布利;蒂埃里·马丁内斯;弗朗索瓦·法赫斯;西尔万·索利曼 4 2016 使用有限传感器描述和合成结构时间序列约束。 Zbl 1397.68161号 尼古拉斯·贝尔迪塞努;卡尔森，Mats;雷米·杜伦斯;赫尔穆特·西蒙尼斯 4 2016 基于决策图的优化的理论见解和算法工具。 Zbl 1368.90105号 大卫·伯格曼;安德烈·西尔（Andre A.Cire）。 4 2016 使用约束编程和大型邻域搜索从历史数据中优化车队设计。 兹比尔1334.90085 菲利普·基尔比;托马索·乌利 3 2016 投影、一致性和乔治·布尔。 Zbl 1396.03041号 胡克，J.N。 3 2016 可视化搜索树分析。 Zbl 1334.90170号 马克西姆·希什马雷夫;克里斯托弗·米尔斯;塔克，吉多;玛丽亚·加西亚·德拉班达 3 2016 用经典集打破图搜索中的对称性。 Zbl 1368.90137号 阿夫拉罕·伊扎科夫;迈克尔·科迪什 3 2016 推销员和树：在CP中搜索的重要性。 Zbl 1334.90143号 Jean-Guillaume Fages;泽维尔·洛卡;卢梭，路易斯·马汀 2 2016 随机CSP的一般游戏。 Zbl 1411.91057号 弗里德里克·科里奇;西尔万·拉格鲁;埃里克·皮埃特;塞巴斯蒂安·塔巴里 2 2016 约束规划中人工神经网络的拉格朗日传播算子。 Zbl 1368.90148号 米歇尔·伦巴第;斯特凡诺·瓜兰迪 2 2016 不确定性下的手术室管理。 Zbl 1368.90147号 让·贝特朗·戈蒂尔;安托万·勒格拉因 2 2016 FOCUS约束的三种推广。 兹比尔1368.90110 尼娜·纳罗季斯卡;蒂埃里·佩蒂特;穆罕默德·西亚拉;沃尔什，托比 1 2016 葡萄酒调配的约束全局优化。 Zbl 1368.90133号 菲利普·维斯马拉;雷米·科莱塔;Gilles Trombettoni 1 2016 使用SMT解决不确定性时间问题的强可控性。 Zbl 1314.90043号 亚历山德罗·西马蒂;安德烈亚·米凯利;马可·罗维里 13 2015 决策图的拉格朗日界。 Zbl 1327.90116号 大卫·伯格曼;安德烈·西尔（Andre A.Cire）。;范霍夫，威廉·扬 12 2015 一种求解具有连续资源和能量约束的调度问题的混合精确方法。 Zbl 1327.90073号 玛歌·纳塔夫;Artigues，克里斯蒂安;皮埃尔·洛佩兹 7 2015 非二进制CSP的混合可处理类。 Zbl 1329.90149号 艾尔·穆埃利，Achref;菲利普·杰古;西里尔·特里奥克斯 6 2015 MiniZin的基于约束的本地搜索后端。 Zbl 1325.90076号 古斯塔夫·比约达尔;珍妮·诺埃尔·莫内特;皮埃尔·弗莱纳;贾斯汀·皮尔逊 5 2015 的新筛选最大值及其加权变量：拉格朗日方法。 Zbl 1327.90130号 哈德里安·坎巴扎德;Jean-Guillaume Fages 4 2015 自适应构造区间析取：算法和实验。 Zbl 1329.90152号 伯特兰·奈韦;Gilles Trombettoni;伊格纳西奥·阿拉亚 4 2015 用于联合动员和疏散规划的专栏式方法。 Zbl 1327.90353号 维克托·皮拉克;曼纽尔·塞布里安;帕斯卡·范·亨特利克 3 2015 基于约束的局部搜索的大规模并行：costas数组案例研究。 Zbl 1316.90040号 伊夫·卡尼奥;菲利普·科多涅特;弗洛里安·里查克斯;丹尼尔·迪亚兹;萨尔瓦多阿布雷乌 3 2015 主导打破约束。 Zbl 1316.90025号 杰弗里·楚;彼得·斯图基（Peter J.Stuckey）。 3 2015 一种检测约束模型中对称性的方法及其推广。 Zbl 1316.90029号 克里斯托弗·米尔斯;玛丽亚·加西亚·德拉班达;华莱士，马克;巴特·德梅恩 2 2015 随机约束规划的混合元启发式。 Zbl 1316.90033号 普雷斯特维奇，S.D。;塔里木，南美。;罗西，R。;哈尼奇，B。 1 2015 安排彗星探测的科学实验。 Zbl 1314.90041号 吉尔·西蒙宁;Artigues，克里斯蒂安;埃曼纽尔·希伯拉德;洛佩兹，皮埃尔 1 2015 改进简单表格约简的下限。 Zbl 1316.90026号 克利斯朵夫·勒库特;Likitvivatanavong，查瓦利特;罗兰·H·C·雅普。 1 2015 可伸缩调度约束的同步扫描算法。 Zbl 1314.90039号 阿诺·莱特特;卡尔森，Mats;尼古拉斯·贝尔迪塞努 1 2015 来自所有不同系统的图着色不等式。 Zbl 1316.90056号 大卫·伯格曼;胡克，J.N。 8 2014 meSAT：CSP到SAT的多重编码。 Zbl 1316.90049号 米尔科·斯托贾迪诺维奇;菲利普·马里奇 6 2014 解释电路传播。 Zbl 1310.05144号 凯瑟琳·格伦·弗朗西斯;彼得·斯图基（Peter J.Stuckey）。 4 2014 轻量级动态对称打破。 Zbl 1338.90269号 克里斯托弗·米尔斯;玛丽亚·加西亚·德拉班达;巴特·德梅恩;华莱士，马克 4 2014 一种用于累积资源约束的二次寻边滤波算法。 Zbl 1314.90038号 罗杰·卡梅恩;劳雷·波林·福克索;约瑟夫·斯科特;Ngo-Kateu、Youcheu 4 2014 对称、几乎对称和惰性子句生成。 Zbl 1316.90045号 杰弗里·楚;玛丽亚·加西亚·德拉班达;克里斯托弗·米尔斯;彼得·斯图基（Peter J.Stuckey）。 3 2014 表约束的最佳高效过滤算法。 Zbl 1328.68201号 Jean-Baptiste梅里;帕斯卡·范·亨特利克;伊夫·德维尔 2 2014 加权约束满足中多时间线性全局代价函数的一致性技术。 Zbl 1316.90027号 J.H.M.李。;Leung，K.L。;Shum，Y.W。 2 2014 连续约束的八角抽象域。 Zbl 1338.90393号 玛丽·佩洛;夏洛特·特拉切特;弗雷德里克·本哈莫 2 2014 迭代和核心指导的maxsat求解：调查和评估。 Zbl 1317.90199号 安东尼奥·莫尔加多;费德里科·赫拉斯;马克·利菲顿;飞机，乔迪;若昂·西尔瓦侯爵 36 2013 并发约束编程的模型和新兴趋势。 Zbl 1317.90283号 卡洛斯·奥拉特;卡米洛·鲁埃达;弗兰克·巴伦西亚。 12 2013 通过重新表述为可满足性模理论，求解具有元约束的加权CSP。 Zbl 1309.90083号 卡洛斯·安索特吉;米克尔波菲尔;米克尔帕拉西;Suy，约瑟普;马图·维拉雷特 8 2013 枚举CSP解决方案的结构可处理性。 Zbl 1310.05151号 吉安路易吉·格雷科;弗朗西斯科·斯卡切罗 8 2013 柔性混流装配线的平衡和调度。 Zbl 1304.90149号 Öztürk，塞马莱丁;塞姆拉金枪鱼;赫尼奇，卜拉欣;厄内克，M.阿尔斯兰 6 2013 关于全球约束的具体化。 Zbl 1328.68192号 尼古拉斯·贝尔迪塞努;卡尔森，Mats;皮埃尔·弗莱纳;贾斯汀·皮尔逊 6 2013 使用双重预求解约简重新计算累积约束。 Zbl 1309.90066号 斯特凡·海因茨;延斯·舒尔茨;J.克里斯托弗·贝克 5 2013 基于视图的传播算子派生。 Zbl 1328.68202号 克里斯蒂安·舒尔特;塔克，吉多 5 2013 搜索组合词。 Zbl 1309.90090号 汤姆·施里杰弗斯;塔克，吉多;皮特·威勒;霍斯特·萨穆洛维茨;彼得·斯图基（Peter J.Stuckey）。 4 2013 …还有219个文档 所有引用出版物 前5名被引用出版物 全部的 前5名2413位作者引用 29 彼得·詹姆斯·斯塔基 23 Joáo P.塞尔瓦侯爵。 20 斯坦尼斯拉夫·伊文 19 马丁·库珀。 19 卢梭，路易斯·马汀 17 帕斯卡·范·亨特利克 17 沃尔什，托比 15 托尔斯滕·绍布（Torsten H.Schaub）。 14 马丁·格布瑟 14 赫尼奇，卜拉欣 14 卡洛斯·奥拉特 14 巴里·奥沙利文 14 塔里木，S.Armagan 13 克里斯蒂安·贝西尔 13 大卫·A·科恩。 13 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 13 罗西、罗伯托 12 J.克里斯托弗·贝克 12 西蒙·德·吉夫里 11 约翰·胡克（John N.jun Hooker）。 11 彼得·杰文斯（Peter G.Jeavons）。 11 李，吉米·霍曼 11 吉尔斯·佩森特 11 史蒂文·普雷斯特维奇。 11 皮埃尔·绍斯 11 斯泽德，斯特凡 10 尼古拉斯·贝尔迪塞努 10 卢卡·博托卢西 10 迈克尔·科迪什 10 Amnon Meisels公司 10 Peter W.南丁格尔。 9 卡尔森，Mats 9 安德烈·奥古斯托·西雷 9 穹顶，费伦茨 9 皮埃尔·弗莱纳 9 亚历山大·戈德斯特恩 9 彼得·琼森 9 伊恩·米格尔 9 托马斯·希克斯 9 威廉·扬·范霍夫 9 尼克·威尔逊 8 Artigues，克里斯蒂安 8 哈德里安·坎巴扎德 8 丽娜·德希特 8 卡明·多达罗 8 玛丽亚·加西亚·德拉班达 8 吉安路易吉·格雷科 8 卢克·杰林 8 哈维尔·拉罗萨 8 克利斯朵夫·勒库特 8 洛佩兹，皮埃尔 8 米歇拉·米兰 8 贾斯汀·皮尔逊 8 雷金、珍妮·查尔斯 8 弗朗西丝卡·罗西 8 克莉丝汀·索尔农 8 塔克，吉多 8 马克·华莱士。 8 罗伊·齐万 7 马里奥·阿尔维亚诺 7 格雷姆·恒河 7 斯特凡诺·瓜兰迪 7 埃曼纽尔·希伯拉德 7 米科拉什·亚诺塔 7 乔治·卡特西雷洛斯 7 安德烈·洛迪 7 林奇，因斯 7 阿诺德·诺伊梅尔 7 伊莲·皮门特尔 7 阿尔贝托，Policriti 7 亚历山德罗·普雷维蒂 7 罗密欧·里兹 7 圭多·西亚维科 7 莫西·亚亚科夫·瓦尔迪 7 马特奥·扎瓦特里 6 帕特里斯·博伊祖马尔 6 菲利普·科多涅特 6 巴特·德梅恩 6 伊夫·德维尔 6 伯纳德·根德伦 6 汤米·詹胡宁 6 克里斯托弗·杰斐逊 6 李三江 6 米歇尔·伦巴第 6 卡洛斯·门西娅 6 劳伦特·米歇尔 6 罗伯托·波塞纳托 6 克洛德·盖·昆珀 6 史蒂文·肖卡特 6 汤姆·施里杰弗斯 6 迪米特里斯·西蒙斯（Dimitris E.Simos）。 6 科斯塔斯·斯特乔 5 阿洛奇，大卫 5 卡洛斯·安索特吉 5 佩德罗·巴拉奥纳 5 斯特凡诺·比斯塔雷利 5 米克尔波菲尔 5 安德烈·布拉托夫（Andrei A.Bulatov）。 5 马可·卡多利 5 蔡少伟 …还有2313位作者 全部的 前5名171种期刊引用 209 约束条件 146 人工智能 76 欧洲运筹学杂志 52 计算机与运筹学 46 逻辑程序设计理论与实践 41 运筹学年鉴 39 理论计算机科学 34 数学与人工智能年鉴 26 全球优化杂志 25 离散应用数学 22 信息计算杂志 18 调度日志 17 信息与计算 13 自动推理杂志 13 国际近似推理杂志 13 数学编程。A系列B系列 11 计算机与系统科学杂志 11 人工智能研究杂志 11 启发式杂志 10 模糊集与系统 9 信息科学 9 机器学习 9 组合优化期刊 8 应用数学建模 8 系统设计中的形式化方法 8 ACM计算逻辑事务 8 可满足性、布尔建模与计算杂志 8 SN运营研究论坛 7 优化与工程 7 4OR（或） 6 运筹学国际交易 6 优化方法和软件 6 RAIRO公司。运筹学 6 数学规划计算 5 信息学报 5 计算与应用数学杂志 5 最优化理论与应用杂志 5 SIAM计算机杂志 5 算法 5 工程优化 5 计算机科学中的数学 4 应用数学与计算 4 网络 4 SIAM离散数学杂志 4 人工智能通信 4 吉泰。实验与理论人工智能杂志 4 计算优化与应用 4 工程中的数学问题 4 国际应用数学与计算机科学杂志 4 OR光谱 4 ACM实验算法杂志 4 计算机科学中的逻辑方法 4 欧洲计算优化杂志 4 程序设计中的逻辑和代数方法杂志 3 离散数学 3 信息处理信件 3 Automatica公司 3 模式识别 3 控制论与系统分析 3 计算系统理论 3 CEJOR公司。中欧运筹学杂志 3 离散算法杂志 3 模糊优化与决策 2 物理A 2 比特币 2 信息 2 统计规划与推断杂志 2 运营研究信件 2 国际生产研究杂志 2 随机结构与算法 2 国际计算机与系统科学杂志 2 应用非经典逻辑杂志 2 可靠的计算 2 不等式与应用杂志 2 图形算法与应用杂志 2 计算机基础理论 2 电子商务研究 2 自然计算 2 JMMA公司。数学建模与算法杂志 2 应用逻辑杂志 2 统计力学杂志：理论与实验 2 离散优化 2 医学中的计算和数学方法 2 国际语义计算杂志 2 算法 1 计算机与数学及其应用 1 国际控制杂志 1 印度纯粹与应用数学杂志 1 数学分析与应用杂志 1 统计物理杂志 1 物理报告 1 计算数学 1 计算 1 国际博弈论杂志 1 代数杂志 1 经济理论杂志 1 哲学逻辑杂志 1 圣母院形式逻辑期刊 1 运筹学 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 …还有71种期刊 全部的 前5名34个领域被引用 871 计算机科学（68至XX） 666 运筹学、数学规划（90-XX） 92 组合数学（05-XX） 72 数学逻辑和基础（03-XX） 61 博弈论、经济学、金融和其他社会和行为科学（91-XX） 56 生物学和其他自然科学（92-XX） 40 数值分析（65-XX） 26 统计学（62-XX） 17 系统论；控制（93至XX） 11 变分法与最优控制；最优化（49至XX） 11 信息与通信理论、电路（94-XX） 10 一般代数系统（08-XX） 7 常微分方程（34-XX） 7 统计力学，物质结构（82-XX） 6 阶、格、有序代数结构（06-XX） 5 交换代数（13-XX） 5 概率论与随机过程（60-XX） 4 结合环与代数（16-XX） 4 几何图形（51至XX） 4 凸和离散几何（52至XX） 3 总体主题；集合（00-XX） 3 粒子和系统力学（70-XX） 3 量子理论（81-XX） 2 代数几何（14-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 范畴理论；同调代数（18-XX） 2 一般拓扑结构（54至XX） 1 数论（11-XX） 1 群论与推广（20-XX） 1 实函数（26年X月X日） 1 偏微分方程（35-XX） 1 动力系统和遍历理论（37至XX） 1 可变形固体力学（74-XX） 1 光学、电磁理论（78-XX） 按年份列出的引文