编辑配置文件(在新选项卡中打开) 彼得·詹姆斯·斯塔基 合著者距离 作者ID: 斯塔基·彼得-j 发布日期: 彼得·斯图基(Peter J.Stuckey)。;彼得·斯塔基;斯图基,P.J。 更多。。。较少的 主页: https://people.eng.unimelb.edu.au/ptuckey/ 外部链接: MGP公司·谷歌学者·ResearchGate研究之门·数据库许可证 已编制索引的文档: 181出版物自1986年以来,包括1本书和2个附加arXiv预打印 作为编辑的10份贡献 合著者: 174位合著者具有184联合出版物 2474位合作作者 全部的 前5名合著者 7 单作者的 29 格雷姆·恒河 26 金·万豪酒店 24 玛丽亚·加西亚·德拉班达 18 Søndergaard,哈拉尔 16 彼得·沙赫特 12 马丁·苏尔兹曼 11 杰弗里·楚 11 迈克尔·科迪什 11 安德烈亚斯·舒特 10 格雷戈里·杜克。 10 维塔利湖 8 马克·华莱士。 7 布兰德,塞巴斯蒂安 7 豪尔赫·纳瓦斯(Jorge A.Navas)。 7 塔克·吉多 6 巴特·德梅恩 6 汤姆·施里杰弗斯 5 布洛姆,米歇尔·L。 5 Boland,Natashia L。 5 埃米尔·德米罗维奇 5 蒂鲍特·费迪 5 沃里克·哈维 5 德克萨斯州贾法 5 李,吉米·霍曼 4 罗伯托·阿马迪尼 4 丹尼尔·达米尔·哈拉博尔 4 克里斯蒂安·霍尔兹鲍尔 4 迈克尔·马赫(Michael J.Maher)。 三 莱斯利·德科宁克 三 迭戈·德乌尼亚 三 凯文·格林 三 曼努埃尔五世(Manuel V.Hermenegildo)。 三 比肖克桑·卡夫 三 爱德华·兰姆 三 阿德里安·皮尔斯。 三 瓦妮莎·乔伊·提格 2 伊格纳西·阿比奥 2 艾尔维拉·阿尔伯特 2 雷汉·阿卜杜勒·阿齐兹 2 达瓦策伦·巴塔 2 杰里米亚斯·伯格 2 蒂莫·贝托尔德 2 艾伦·H·伯宁。 2 布埃诺,弗朗西斯科 2 克里斯蒂娜·伯特。 2 杰弗里·陈 2 Choi、Chiu Wo 2 德卡特,布罗斯 2 Jip J.德克尔。 2 马克·德内克 2 蒂姆·德怀尔 2 托尔斯滕·埃勒 2 米盖尔·戈梅斯·扎马洛亚 2 海因策,内文 2 戴维·杰弗里 2 坎查纳苏特,坎查纳 2 大卫·坎普。 2 斯文·柯尼格 2 斯特凡·克雷特 2 Le Bodic,皮埃尔 2 克里斯托弗·米尔斯 2 弗雷德·梅斯纳德 2 斯皮罗·米查洛夫 2 彼得·莫尔德 2 尼古拉斯·奈瑟科特 2 奥尔加·奥里蒙科 2 西蒙·琼斯(Simon L.Peyton Jones)。 2 雅各布·普钦格 2 德国普埃布拉 2 拉胡·拉马克里希南 2 科塔吉里·拉马莫哈纳劳 2 霍斯特,萨穆洛维茨 2 克里斯蒂安·舒尔特 2 迪维什·斯利瓦斯塔瓦 2 苏达尔珊,S.R。 2 Vincent H.Tam。 2 托比·沃尔什 2 王文喜 2 杰里米·瓦兹尼 2 皮特·维尔 2 米歇尔·维布罗姆 2 罗兰·H·C·雅普。 1 普里阿雷纳斯 1 拉尔夫·贝克特 1 尼古拉斯·贝尔迪塞努 1 亨德里克·比尔莱 1 碧劳卡、米海 1 莫里斯·布吕诺格 1 Carlsson,马茨 1 穆罕默德·阿米尔·奇马 1 Cheng,Chi Kan先生 1 Choi,K.M.F.先生。 1 J.Robert M.科尼什。 1 科里亚斯,杰苏斯 1 维罗妮卡·达尔 1 布鲁斯·戴维 1 阿尔班·德里安 1 盖伊,德索尼尔斯 1 Deters,摩根 1 朱利安·菲舍尔 …和另外74位合著者 全部的 前5名系列 21 约束条件 10 逻辑程序设计理论与实践 7 逻辑程序设计杂志 7 信息计算杂志 6 计算机科学课堂讲稿 5 人工智能 5 理论计算机科学 5 人工智能研究杂志 三 计算机与运筹学 三 函数编程杂志 2 自动推理杂志 2 可满足性、布尔建模与计算杂志 1 新一代计算 1 信息与计算 1 并行与分布式计算杂志 1 ORSA计算机杂志 1 欧洲运筹学杂志 1 数学与人工智能年鉴 1 启发式杂志 1 调度日志 1 图形算法与应用杂志 1 函数与逻辑程序设计杂志 1 计算机基础理论 1 机器学习研究杂志(JMLR) 1 ACM计算逻辑汇刊 1 工程优化 1 SN运营研究论坛 全部的 前5名领域 161 计算机科学(68至XX) 61 运筹学、数学规划(90-XX) 10 总体主题;集合(00-XX) 8 组合数学(05-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 数学逻辑和基础(03-XX) 三 生物学和其他自然科学(92-XX) 2 信息与通信理论、电路(94-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 153出版物有被引用831中的次582文件 引用人▼ 年份▼ 带约束的编程。引言。 Zbl 0935.68098号 金·万豪酒店;彼得·斯图基(Peter J.Stuckey)。 59 1998 通过惰性子句生成进行传播。 Zbl 1192.68654号 奥尔加·奥里蒙科;彼得·斯图基(Peter J.Stuckey)。;迈克尔·科迪什 53 2009 锌建模语言的设计。 Zbl 1146.68352号 金·万豪酒店;尼古拉斯·奈瑟科特;雷扎·拉菲;彼得·斯图基(Peter J.Stuckey)。;玛丽亚·加西亚·德拉班达;马克·华莱士 32 2008 约束逻辑程序的语义。 Zbl 0920.68068号 德克萨斯州贾法;迈克尔·马赫;金·万豪酒店;彼得·斯塔基 28 1998 约束处理规则的精细操作语义。 Zbl 1104.68359号 格雷戈里·杜克。;彼得·斯图基(Peter J.Stuckey)。;玛丽亚·加西亚·德拉班达;克里斯蒂安·霍尔兹鲍尔 23 2004 解释累计传播者。 Zbl 1226.68099号 安德烈亚斯·舒特;蒂鲍特·费迪;彼得·斯图基(Peter J.Stuckey)。;马克·华莱士。 17 2011 通过惰性子句生成解决RCPSP/max。 Zbl 1280.90067号 安德烈亚斯·舒特;蒂鲍特·费迪;彼得·斯图基(Peter J.Stuckey)。;马克·华莱士。 15 2013 否定和约束逻辑编程。 Zbl 0827.68022号 彼得·斯图基(Peter J.Stuckey)。 15 1995 用于组合问题的简明高效SAT编码的布尔等传播。 Zbl 1267.68216号 阿米特·梅托迪;迈克尔·科迪什;彼得·斯图基(Peter J.Stuckey)。 13 2013 传播=惰性子句生成。 Zbl 1145.68527号 奥尔加·奥里蒙科;彼得·斯图基(Peter J.Stuckey)。;迈克尔·科迪什 11 2007 UTVPI约束的增量可满足性和隐含性。 Zbl 1243.90141号 安德烈亚斯·舒特;彼得·斯图基(Peter J.Stuckey)。 11 2010 最小基数矩阵分解为连续矩阵:CP和IP方法。 Zbl 1214.15021号 达瓦策伦·巴塔;Natashia博兰德;布兰德,塞巴斯蒂安;彼得·斯图基(Peter J.Stuckey)。 11 2007 无限树逻辑编程的语义。 Zbl 0621.68054号 德克萨斯州贾法;彼得·斯图基(Peter J.Stuckey)。 10 1986 序列约束的编码。 Zbl 1145.68507号 布兰德,塞巴斯蒂安;尼娜·纳罗季斯卡;克洛德·盖·昆珀;彼得·斯塔基;托比·沃尔什 10 2007 快速删除节点重叠。 兹比尔1171.68609 蒂姆·德怀尔;金·万豪酒店;彼得·斯图基(Peter J.Stuckey)。 10 2006 通过约束处理规则了解函数依赖性。 Zbl 1107.68031号 马丁·苏尔兹曼;格雷戈里·杜克。;西蒙·佩顿·琼斯;彼得·斯图基(Peter J.Stuckey)。 10 2007 解释累积资源约束的时间表边缘传播。 Zbl 1382.68232号 安德烈亚斯·舒特;蒂鲍特·费迪;彼得·斯图基(Peter J.Stuckey)。 10 2013 具有可满足性的逻辑编程。 Zbl 1128.68014号 迈克尔·科迪什;维塔利湖;彼得·斯图基(Peter J.Stuckey)。 10 2008 约束处理规则的可观察汇流。 Zbl 1213.68161号 格雷戈里·杜克。;彼得·斯图基(Peter J.Stuckey)。;马丁·苏尔兹曼 10 2007 G12项目:将独立于求解器的模型映射到高效的解决方案。 Zbl 1165.68517号 彼得·斯图基(Peter J.Stuckey)。;玛丽亚·加西亚·德拉班达;迈克尔·马赫;金·万豪酒店;约翰·斯莱尼;佐尔坦·索莫吉;马克·华莱士;托比·沃尔什 9 2005 单调约束下的终止测试。 Zbl 1165.68328号 迈克尔·科迪什;维塔利湖;彼得·斯图基(Peter J.Stuckey)。 9 2005 \(\#{\exists}\mathrm{SAT}\):投影模型计数。 Zbl 1471.68174号 雷汉·阿卜杜勒·阿齐兹;杰弗里·楚;克里斯蒂安·缪斯;彼得·斯塔基 9 2015 动态编程以最小化最大打开堆栈数。 Zbl 1241.90170号 玛丽亚·加西亚·德拉班达;彼得·斯图基(Peter J.Stuckey)。 9 2007 用于课程时间表的新整数线性规划方法。 Zbl 1180.90197号 娜塔希亚·博兰德;休斯,巴里·D。;利亚姆·T·G·梅洛。;彼得·斯图基(Peter J.Stuckey)。 9 2008 标准逻辑程序。 Zbl 0592.68018号 德克萨斯州贾法;彼得·斯图基(Peter J.Stuckey)。 8 1986 MDD传播器及其解释。 兹比尔1241.90066 格雷姆·恒河;彼得·斯图基(Peter J.Stuckey)。;拉多斯瓦夫·西曼内克 8 2011 用动态规划解决人才调度问题。 Zbl 1243.90059号 玛丽亚·加西亚·德拉班达;彼得·斯图基(Peter J.Stuckey)。;杰弗里·楚 8 2011 G12中的Dantzig-Wolfe分解和分支与价格求解。 兹伯利1213.90174 雅各布·普钦格;彼得·斯图基(Peter J.Stuckey)。;马克·华莱士。;布兰德,塞巴斯蒂安 8 2011 求解LPO终止的部分顺序约束。 Zbl 1151.68631号 迈克尔·科迪什;维塔利湖;彼得·斯图基(Peter J.Stuckey)。 8 2006 迷你锌挑战的哲学。 Zbl 1208.68207号 彼得·斯图基(Peter J.Stuckey)。;拉尔夫·贝克特;朱利安·菲舍尔 8 2010 Horn子句作为程序分析和转换的中间表示。 Zbl 1379.68089号 格雷姆·恒河;豪尔赫·纳瓦斯(Jorge A.Navas)。;彼得·沙赫特;Søndergaard,哈拉尔;彼得·斯图基(Peter J.Stuckey)。 8 2015 核心支持不完整MaxSAT的线性搜索。 Zbl 1525.68140号 杰里米亚斯·伯格;埃米尔·德米罗维奇;彼得·斯图基(Peter J.Stuckey)。 8 2019 图形表示中对称破缺的约束。 Zbl 1425.05099号 迈克尔·科迪什;爱丽丝·米勒;帕特里克·普洛瑟;彼得·斯图基(Peter J.Stuckey)。 8 2019 自下而上的评估和良好模型的查询优化。 Zbl 0873.68032号 大卫·坎普。;迪维什·斯利瓦斯塔瓦;彼得·斯图基(Peter J.Stuckey)。 7 1995 加快约束传播。 Zbl 1152.68583号 克里斯蒂安·舒尔特;彼得·斯图基(Peter J.Stuckey)。 7 2004 二进制程序的快速学习。 Zbl 1285.68151号 蒂莫·贝托尔德;蒂鲍特·费迪;彼得·斯图基(Peter J.Stuckey)。 7 2010 通过更改约束表示改进线性约束传播。 兹伯利1039.68119 沃里克·哈维;彼得·斯图基(Peter J.Stuckey)。 7 2003 懒惰的模型扩展:将接地与搜索交织在一起。 Zbl 1323.68464号 De Cat,Broes公司;马克·德内克;莫里斯·布吕诺格;彼得·斯塔基 6 2015 优化HAL中约束处理规则的编译。 兹比尔1104.68010 克里斯蒂安·霍尔兹鲍尔;玛丽亚·加西亚·德拉班达;彼得·斯图基(Peter J.Stuckey)。;格雷戈里·杜克。 6 2005 使用ROBDD解决集合约束满足问题。 Zbl 1080.68666号 P.J.霍金斯。;弗吉尼亚州泻湖。;斯图基,P.J。 6 2005 冗余建模中的传播冗余。 Zbl 1273.68340号 Choi、Chiu Wo;李,吉米·何文;彼得·斯图基(Peter J.Stuckey)。 6 2003 使用约束编程求解RCPSP/MAX-cal。 Zbl 1387.90092号 斯特凡·克雷特;安德烈亚斯·舒特;彼得·斯图基(Peter J.Stuckey)。 6 2017 使用线性规划的高效智能回溯。 Zbl 1238.90144号 布鲁斯·戴维;娜塔希亚·博兰德;彼得·斯图基(Peter J.Stuckey)。 6 2002 删除冗余建模中的传播冗余约束。 Zbl 1367.68262号 Choi,C.W。;J.H.M.李。;斯图基,P.J。 6 2007 露天矿网络协同调度的基于分解的启发式算法。 Zbl 1304.90130号 布洛姆,米歇尔·L。;Christina N.伯特。;阿德里安·皮尔斯。;彼得·斯图基(Peter J.Stuckey)。 6 2014 MiniZin具有功能。 Zbl 1382.68234号 彼得·斯图基(Peter J.Stuckey)。;塔克·吉多 6 2013 懒惰子句生成:结合SAT和CP(以及MIP?)解决的能力。 Zbl 1285.68166号 彼得·斯图基(Peter J.Stuckey)。 6 2010 在约束编程中自动利用子问题等价性。 兹比尔1285.68153 杰弗里·楚;玛丽亚·加西亚·德拉班达;彼得·斯图基(Peter J.Stuckey)。 6 2010 扩展代数数据类型的框架。 Zbl 1185.68202号 马丁·苏尔兹曼;杰里米·瓦兹尼;彼得·斯图基(Peter J.Stuckey)。 6 2006 使用约束优化删除图形布局中的节点重叠。 Zbl 1039.68121号 金·万豪酒店;彼得·斯塔基;文森特·塔姆;何伟清 6 2003 肉豆蔻:使用分支和检查的MIP和CP混合解算器。 Zbl 1459.90133号 爱德华·兰姆;格雷姆·恒河;彼得·斯图基(Peter J.Stuckey)。;帕斯卡·范·亨特利克;Jip J.德克尔。 6 2020 使用约束Horn子句进行前提推理的迭代方法。 Zbl 1451.68075号 比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;格雷姆·恒河;彼得·沙赫特;Søndergaard,哈拉尔;彼得·斯图基(Peter J.Stuckey)。 6 2018 使用SAT学习最优决策集和列表。 Zbl 1522.68489号 于金强;阿列克谢·伊格纳提耶夫;彼得·斯图基(Peter J.Stuckey)。;Le Bodic,皮埃尔 6 2021 ACD术语重写。 Zbl 1131.68374号 格雷戈里·杜克。;彼得·斯图基(Peter J.Stuckey)。;布兰德,塞巴斯蒂安 5 2006 使用ROBDD设置域传播。 Zbl 1152.68562号 维塔利湖;彼得·斯图基(Peter J.Stuckey)。 5 2004 资源使用验证。 Zbl 1254.68082号 金·万豪酒店;彼得·斯图基(Peter J.Stuckey)。;马丁·苏尔兹曼 5 2003 无锁并行动态编程。 Zbl 1233.68225号 亚历克斯·斯蒂瓦拉;彼得·斯图基(Peter J.Stuckey)。;玛丽亚·加西亚·德拉班达;曼纽尔·赫尔梅内吉尔多;安东尼·沃思 5 2010 主导打破约束。 兹比尔1316.90025 杰弗里·楚;彼得·斯图基(Peter J.Stuckey)。 5 2015 MurTree:通过动态规划和搜索的最优决策树。 Zbl 07625179号 德米罗维奇,埃米尔;安娜·卢基纳;埃曼纽尔·希伯拉德;杰弗里·陈;詹姆斯·贝利;克里斯托弗·莱基;科塔吉里·拉马莫哈纳劳;彼得·斯图基(Peter J.Stuckey)。 5 2022 增量线性约束求解和隐式等式的检测。 Zbl 0755.90058号 彼得·斯图基(Peter J.Stuckey)。 4 1991 G12从高级模型到分支和价格解决方案。 Zbl 1142.90503号 雅各布·普钦格;彼得·斯图基(Peter J.Stuckey)。;马克·华莱士;布兰德,塞巴斯蒂安 4 2008 对称、几乎对称和惰性子句生成。 Zbl 1316.90045号 杰弗里·楚;玛丽亚·加西亚·德拉班达;克里斯托弗·米尔斯;彼得·斯图基(Peter J.Stuckey)。 4 2014 检查HAL程序的模式。 Zbl 1083.68019号 玛丽亚·加西亚·德·拉班达;沃里克·哈维;金·万豪酒店;彼得·斯图基(Peter J.Stuckey)。;巴特·德梅恩 4 2005 通过插值进行故障表约束逻辑编程。 Zbl 1286.68043号 格雷姆·恒河;豪尔赫·纳瓦斯(Jorge A.Navas)。;彼得·沙赫特;Søndergaard,哈拉尔;彼得·斯图基(Peter J.Stuckey)。 4 2013 一元约束编程。 Zbl 1184.68166号 汤姆·施里杰弗斯;彼得·斯塔基;菲利普·沃德勒 4 2009 通过增量接地延迟模型扩展。 Zbl 1281.68208号 De Cat,Broes公司;马克·德内克;彼得·斯塔基 4 2012 搜索组合词。 Zbl 1309.90090号 汤姆·施里杰弗斯;塔克·吉多;皮特·维尔;霍斯特,萨穆洛维茨;彼得·斯图基(Peter J.Stuckey)。 4 2013 解释电路传播。 Zbl 1310.05144号 凯瑟琳·格伦·弗朗西斯;彼得·斯图基(Peter J.Stuckey)。 4 2014 关于决策图的CNF编码。 Zbl 1475.68331号 艾比奥,伊格纳西;格雷姆·恒河;梅耶·艾希伯格,瓦伦丁;彼得·斯图基(Peter J.Stuckey)。 4 2016 针对正则语言约束的带插值的无边界模型检查。 Zbl 1381.68162号 格雷姆·恒河;豪尔赫·纳瓦斯。;彼得·斯图基(Peter J.Stuckey)。;Søndergaard,哈拉尔;彼得·沙赫特 4 2013 整数程序的本地快速学习。 Zbl 1525.68142号 蒂莫·伯托尔德;彼得·斯图基(Peter J.Stuckey)。;雅各布·维茨 4 2019 将CP子问题编译为MDD和d-DNNF。 兹比尔1468.68195 迭戈·德乌尼亚;格雷姆·恒河;彼得·沙赫特;彼得·斯图基(Peter J.Stuckey)。 4 2019 用于解决资源可用性成本问题的混合整数线性规划和约束规划公式。 Zbl 1403.90525号 斯特凡·克雷特;安德烈亚斯·舒特;彼得·斯图基(Peter J.Stuckey)。;吉尔根·齐默尔曼 4 2018 将抽象域和应用程序引用到字符串分析。 Zbl 1386.68031号 罗伯托·阿马迪尼;格雷姆·恒河;弗朗索瓦·戈蒂埃;亚历山大·乔丹;彼得·沙赫特;Søndergaard,哈拉尔;彼得·斯图基(Peter J.Stuckey)。;张晨毅 4 2018 上下文相关的动态偏序约简。 Zbl 1494.68047号 艾尔维拉·阿尔伯特;普里阿雷纳斯;玛丽亚·加西亚,德拉班达;米盖尔·戈梅斯·扎马洛亚;彼得·斯图基(Peter J.Stuckey)。 4 2017 核心引导和核心支持的CP搜索。 Zbl 07636021号 格雷姆·恒河;杰里米亚斯·伯格;埃米尔·德米罗维奇;彼得·斯图基(Peter J.Stuckey)。 4 2020 逻辑程序分析中的微分方法。 Zbl 0905.68029号 玛丽亚·加西亚·德拉班达;金·万豪酒店;彼得·斯塔基;Søndergaard,哈拉尔 三 1998 \类型推理是(mathrm{HM}(X))求解。 Zbl 1142.68021号 马丁·苏尔兹曼;彼得·斯图基(Peter J.Stuckey)。 三 2008 GHC风格的多参数类型类的主体类型推理。 Zbl 1168.68367号 马丁·苏尔兹曼;汤姆·施里杰弗斯;彼得·斯图基(Peter J.Stuckey)。 三 2006 利用约束规划中的子问题优势。 Zbl 1247.68249号 杰弗里·楚;玛丽亚·加西亚·德拉班达;彼得·斯图基(Peter J.Stuckey)。 三 2012 最大密度静物寿命问题的完整解决方案。 Zbl 1251.68197号 杰弗里·楚;彼得·斯图基(Peter J.Stuckey)。 三 2012 求解交互式图形应用程序的析取约束。 兹比尔1067.68652 金·万豪酒店;彼得·莫尔德;彼得·斯图基(Peter J.Stuckey)。;艾伦·博宁 三 2001 未解释函数的抽象域。 Zbl 1475.68086号 格雷姆·恒河;豪尔赫·纳瓦斯(Jorge A.Navas)。;彼得·沙赫特;Søndergaard,哈拉尔;彼得·斯图基(Peter J.Stuckey)。 三 2016 CP和IP方法用于优化癌症放射治疗的实施。 Zbl 1213.90271号 达瓦策伦·巴塔;娜塔希亚·博兰德;布兰德,塞巴斯蒂安;彼得·斯图基(Peter J.Stuckey)。 三 2011 使用BDD-SAT混合的快速设置边界传播。 Zbl 1210.68100号 恒河,G。;斯图基,P.J。;弗吉尼亚州泻湖。 三 2010 约束编程的原理和实践。2008年9月14日至18日,第14届国际会议,CP 2008,澳大利亚悉尼。诉讼程序。 Zbl 1149.68307号 三 2008 镉:ACD术语重写的实现。 Zbl 1185.68137号 格雷戈里·杜克。;莱斯利·德科宁克;彼得·斯图基(Peter J.Stuckey)。 三 2008 多智能体路径搜索的成对对称推理。 Zbl 1478.68326号 李娇阳;丹尼尔·哈拉博尔;彼得·斯图基(Peter J.Stuckey)。;马,杭;格雷姆·恒河;斯文·柯尼格 三 2021 字符串约束求解的虚线字符串。 Zbl 1504.68202号 罗伯托·阿马迪尼;格雷姆·恒河;彼得·斯图基(Peter J.Stuckey)。 三 2020 独立于求解器的轮换劳动力调度。 Zbl 1511.90199号 尼斯雷特·穆斯利乌;安德烈亚斯·舒特;彼得·斯图基(Peter J.Stuckey)。 三 2018 利用差分矩阵的稀疏性。 Zbl 1394.68074号 格雷姆·恒河;豪尔赫·纳瓦斯(Jorge A.Navas)。;彼得·沙赫特;Søndergaard,哈拉尔;彼得·斯图基(Peter J.Stuckey)。 三 2016 确定国家预算:用小型DFA近似常规语言。 兹比尔1495.68120 格雷姆·恒河;甘蒂,皮埃尔;彼得·斯图基(Peter J.Stuckey)。 三 2017 资金充足的有序搜索:对基础良好的模型进行目标导向的自下而上的评估。 Zbl 0883.68025号 彼得·斯图基(Peter J.Stuckey)。;苏达尔山,S。 2 1997 CLP\(({\mathfrak R})\)和一些电气工程问题。 Zbl 0800.68293号 内文·海因策;斯皮罗·米查洛夫;彼得·斯塔基 2 1992 将常规逻辑程序转换为约束逻辑程序。 Zbl 0757.68029号 坎查纳苏特,坎查纳;彼得·斯图基(Peter J.Stuckey)。 2 1992 最小宽度无序树布局的NP完备性。 Zbl 1088.68070号 金·万豪酒店;彼得·斯图基(Peter J.Stuckey)。 2 2004 投影CLP(\({\mathcal R}\))约束。 Zbl 0780.68013号 德克萨斯州贾法;迈克尔·马赫(Michael J.Maher)。;彼得·斯图基(Peter J.Stuckey)。;罗兰·H·C·雅普。 2 1993 聚合约束的基础。 Zbl 0896.68047号 Kenneth A.Ross。;迪维什·斯利瓦斯塔瓦;彼得·斯图基(Peter J.Stuckey)。;苏达尔山,S。 2 1998 模块化程序上下文敏感分析的通用框架。 Zbl 1080.68557号 德国普埃布拉;科里亚斯,杰苏斯;曼努埃尔五世(Manuel V.Hermenegildo)。;布埃诺,弗朗西斯科;玛丽亚·加西亚·德拉班达;金·万豪酒店;彼得·斯图基(Peter J.Stuckey)。 2 2004 增量连接器布线。 Zbl 1171.68651号 迈克尔·怀布罗;金·万豪酒店;彼得·斯图基(Peter J.Stuckey)。 2 2006 MurTree:通过动态规划和搜索的最优决策树。 Zbl 07625179号 德米罗维奇,埃米尔;安娜·卢基纳;埃曼纽尔·希伯拉德;杰弗里·陈;詹姆斯·贝利;克里斯托弗·莱基;科塔吉里·拉马莫哈纳劳;彼得·斯图基(Peter J.Stuckey)。 5 2022 具有时间窗口、分段线性充电和电容充电站的电动汽车路线问题的分支和削减与定价。 Zbl 1520.90041号 爱德华·兰姆;盖伊,德索尼尔斯;彼得·斯图基(Peter J.Stuckey)。 2 2022 快速最优和有界次优欧几里德寻路。 Zbl 1478.68334号 沈博杰;穆罕默德·阿米尔·奇马;丹尼尔·哈拉博尔(Daniel D.Harabor)。;彼得·斯图基(Peter J.Stuckey)。 1 2022 多代理路径查找的分支和切割以及价格。 Zbl 1520.90179号 爱德华·兰姆;Le Bodic,皮埃尔;丹尼尔·哈拉博尔;彼得·斯图基(Peter J.Stuckey)。 1 2022 使用SAT学习最优决策集和列表。 Zbl 1522.68489号 于金强;阿列克谢·伊格纳提耶夫;彼得·斯图基(Peter J.Stuckey)。;Le Bodic,皮埃尔 6 2021 多智能体路径搜索的成对对称推理。 Zbl 1478.68326号 李娇阳;丹尼尔·哈拉博尔;彼得·斯图基(Peter J.Stuckey)。;马,杭;格雷姆·恒河;斯文·柯尼格 三 2021 肉豆蔻:使用分支和检查的MIP和CP混合解算器。 Zbl 1459.90133号 爱德华·兰姆;格雷姆·恒河;彼得·斯图基(Peter J.Stuckey)。;帕斯卡·范·亨特利克;Jip J.德克尔。 6 2020 核心引导和核心支持的CP搜索。 Zbl 07636021号 格雷姆·恒河;杰里米亚斯·伯格;埃米尔·德米罗维奇;彼得·斯图基(Peter J.Stuckey)。 4 2020 字符串约束求解的虚线字符串。 Zbl 1504.68202号 罗伯托·阿马迪尼;格雷姆·恒河;彼得·斯图基(Peter J.Stuckey)。 三 2020 飞机地面操作的稳健资源规划。 Zbl 07636022号 雅格穆尔·哥克。;丹尼尔·吉马兰斯;彼得·斯图基(Peter J.Stuckey)。;毛里齐奥·托马塞拉;Cemalettin Ozturk公司 2 2020 核心支持不完整MaxSAT的线性搜索。 兹比尔1525.68140 杰里米亚斯·伯格;埃米尔·德米罗维奇;彼得·斯图基(Peter J.Stuckey)。 8 2019 图形表示中对称破缺的约束。 Zbl 1425.05099号 迈克尔·科迪什;爱丽丝·米勒;帕特里克·普洛瑟;彼得·斯图基(Peter J.Stuckey)。 8 2019 针对整数程序的本地快速学习。 Zbl 1525.68142号 蒂莫·伯托尔德;彼得·斯图基(Peter J.Stuckey)。;雅各布·维茨 4 2019 将CP子问题编译为MDD和d-DNNF。 Zbl 1468.68195号 迭戈·德乌尼亚;格雷姆·恒河;彼得·沙赫特;彼得·斯图基(Peter J.Stuckey)。 4 2019 背包问题的预测+优化研究。 Zbl 1525.90350号 埃米尔·德米罗维奇;彼得·斯图基(Peter J.Stuckey)。;詹姆斯·贝利;杰弗里·陈;克里斯·莱基;科塔吉里·拉马莫哈纳劳;枪,蒂亚斯 2 2019 计算单次可转让选票选举的胜率。 Zbl 1528.91030号 布洛姆,米歇尔;彼得·斯图基(Peter J.Stuckey)。;凡妮莎·J·蒂格。 1 2019 利用能量变量进行时间表边缘查找。 Zbl 1527.90111号 杨莫里;安德烈亚斯·舒特;彼得·斯图基(Peter J.Stuckey)。 1 2019 使用约束Horn子句进行前提推理的迭代方法。 Zbl 1451.68075号 比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;格雷姆·恒河;彼得·沙赫特;Søndergaard,哈拉尔;彼得·斯图基(Peter J.Stuckey)。 6 2018 用于解决资源可用性成本问题的混合整数线性规划和约束规划公式。 Zbl 1403.90525号 斯特凡·克雷特;安德烈亚斯·舒特;彼得·斯图基(Peter J.Stuckey)。;吉尔根·齐默尔曼 4 2018 将抽象域和应用程序引用到字符串分析。 兹比尔1386.68031 罗伯托·阿马迪尼;格雷姆·恒河;弗朗索瓦·戈蒂埃;亚历山大·乔丹;彼得·沙赫特;Søndergaard,哈拉尔;彼得·斯图基(Peter J.Stuckey)。;张晨毅 4 2018 求解器独立轮换劳动力计划。 兹比尔1511.90199 尼斯雷特·穆斯利乌;安德烈亚斯·舒特;彼得·斯图基(Peter J.Stuckey)。 三 2018 高中时间表的约束规划:一个基于调度的热启动模型。 Zbl 1490.68203号 埃米尔·德米罗维奇;彼得·斯图基(Peter J.Stuckey)。 2 2018 用法律含义打破对称。 Zbl 1507.68219号 迈克尔·科迪什;托尔斯滕·埃勒;格雷姆·恒河;阿夫拉罕·伊扎科夫;彼得·斯图基(Peter J.Stuckey)。 1 2018 传播法律,找到和代替带有虚线字符串。 Zbl 1508.68322号 罗伯托·阿马迪尼;格雷姆·恒河;彼得·斯图基(Peter J.Stuckey)。 1 2018 露天矿多目标短期生产调度:基于层次分解的算法。 Zbl 1523.90142号 布洛姆,米歇尔;阿德里安·皮尔斯。;彼得·斯图基(Peter J.Stuckey)。 1 2018 使用约束编程求解RCPSP/MAX-cal。 Zbl 1387.90092号 斯特凡·克雷特;安德烈亚斯·舒特;彼得·斯图基(Peter J.Stuckey)。 6 2017 上下文相关的动态偏序约简。 Zbl 1494.68047号 艾尔维拉·阿尔伯特;普里阿雷纳斯;玛丽亚·加西亚,德拉班达;米盖尔·戈梅斯·扎马洛亚;彼得·斯图基(Peter J.Stuckey)。 4 2017 确定国家预算:用小型DFA近似常规语言。 Zbl 1495.68120号 格雷姆·恒河;甘蒂,皮埃尔;彼得·斯图基(Peter J.Stuckey)。 三 2017 艾伦关系中的范围一致的禁区。 兹比尔1489.68247 尼古拉斯·贝尔迪塞努;Carlsson,马茨;阿尔班·德里安;普鲁德;亲爱的,查尔斯;安德烈亚斯·舒特;彼得·斯图基(Peter J.Stuckey)。 1 2017 带字符串的迷你锌。 Zbl 1485.68027号 罗伯托·阿马迪尼;皮埃尔·弗莱纳;贾斯汀·皮尔逊;约瑟夫·斯科特。;彼得·斯图基(Peter J.Stuckey)。;塔克·吉多 1 2017 确定模线性整数算法的Benders分解方法。 Zbl 1496.68193号 比肖克桑·卡夫;格雷姆·恒河;彼得·沙切特;Søndergaard,哈拉尔;彼得·斯图基(Peter J.Stuckey)。 1 2017 关于决策图的CNF编码。 Zbl 1475.68331号 伊格纳西·阿比奥;格雷姆·恒河;梅耶·艾希伯格,瓦伦丁;彼得·斯图基(Peter J.Stuckey)。 4 2016 未解释函数的抽象域。 Zbl 1475.68086号 格雷姆·恒河;豪尔赫·纳瓦斯(Jorge A.Navas)。;彼得·沙赫特;Søndergaard,哈拉尔;彼得·斯图基(Peter J.Stuckey)。 三 2016 利用差分矩阵的稀疏性。 Zbl 1394.68074号 格雷姆·恒河;豪尔赫·纳瓦斯(Jorge A.Navas)。;彼得·沙赫特;Søndergaard,哈拉尔;彼得·斯图基(Peter J.Stuckey)。 三 2016 通过子问题搜索进行拉格朗日分解。 Zbl 1475.68338号 杰弗里·楚;格雷姆·恒河;彼得·斯图基(Peter J.Stuckey)。 2 2016 带解释的加权生成树约束。 Zbl 1475.68339号 迭戈·德乌尼亚;格雷姆·恒河;彼得·沙赫特;彼得·斯图基(Peter J.Stuckey)。 2 2016 具有字级传播的位向量解算器。 Zbl 1475.68360号 王文喜;Søndergaard,哈拉尔;彼得·斯图基(Peter J.Stuckey)。 2 2016 带约束编程的铁路容量建模。 Zbl 1479.90025号 丹尼尔·哈拉博尔;彼得·斯图基(Peter J.Stuckey)。 1 2016 \(\#{\exists}\mathrm{SAT}\):投影模型计数。 Zbl 1471.68174号 雷汉·阿卜杜勒·阿齐兹;杰弗里·楚;克里斯蒂安·缪斯;彼得·斯塔基 9 2015 Horn子句作为程序分析和转换的中间表示。 Zbl 1379.68089号 格雷姆·恒河;豪尔赫·纳瓦斯。;彼得·沙赫特;Søndergaard,哈拉尔;彼得·斯图基(Peter J.Stuckey)。 8 2015 懒惰的模型扩展:将接地与搜索交织在一起。 兹比尔1323.68464 De Cat,Broes公司;马克·德内克;莫里斯·布吕诺格;彼得·斯塔基 6 2015 主导打破约束。 Zbl 1316.90025号 杰弗里·楚;彼得·斯图基(Peter J.Stuckey)。 5 2015 约束编程的学习值启发法。 Zbl 1459.68190号 杰弗里·楚;彼得·斯图基(Peter J.Stuckey)。 2 2015 自动最小高度表布局。 Zbl 1328.90120号 碧劳卡、米海;格雷姆·恒河;帕特里克·希利;金·万豪酒店;彼得·莫尔德;彼得·斯图基(Peter J.Stuckey)。 1 2015 露天矿网络协同调度的基于分解的启发式算法。 Zbl 1304.90130号 布洛姆,米歇尔·L。;Christina N.伯特。;阿德里安·皮尔斯。;彼得·斯图基(Peter J.Stuckey)。 6 2014 对称、几乎对称和惰性子句生成。 Zbl 1316.90045号 杰弗里·楚;玛丽亚·加西亚·德拉班达;克里斯托弗·米尔斯;彼得·斯图基(Peter J.Stuckey)。 4 2014 解释电路传播。 Zbl 1310.05144号 凯瑟琳·格伦·弗朗西斯;彼得·斯图基(Peter J.Stuckey)。 4 2014 使用MiniZin中的选项类型进行建模。 Zbl 1407.68458号 克里斯托弗·米尔斯;安德烈亚斯·舒特;彼得·斯图基(Peter J.Stuckey)。;塔克·吉多;金·万豪酒店;马克·华莱士 2 2014 通过惰性子句生成解决RCPSP/max。 Zbl 1280.90067号 安德烈亚斯·舒特;蒂鲍特·费迪;彼得·斯图基(Peter J.Stuckey)。;马克·华莱士。 15 2013 用于组合问题的简明高效SAT编码的布尔等传播。 Zbl 1267.68216号 阿米特·梅托迪;迈克尔·科迪什;彼得·斯图基(Peter J.Stuckey)。 13 2013 解释累积资源约束的时间表边缘传播。 Zbl 1382.68232号 安德烈亚斯·舒特;蒂鲍特·费迪;彼得·斯图基(Peter J.Stuckey)。 10 2013 具有功能的MiniZinc。 Zbl 1382.68234号 彼得·斯图基(Peter J.Stuckey)。;塔克·吉多 6 2013 通过插值进行故障表约束逻辑编程。 兹比尔1286.68043 格雷姆·恒河;豪尔赫·纳瓦斯(Jorge A.Navas)。;彼得·沙赫特;Søndergaard,哈拉尔;彼得·斯图基(Peter J.Stuckey)。 4 2013 搜索组合词。 Zbl 1309.90090号 汤姆·施里杰弗斯;塔克·吉多;皮特·维尔;霍斯特,萨穆洛维茨;彼得·斯图基(Peter J.Stuckey)。 4 2013 针对正则语言约束的带插值的无边界模型检查。 兹比尔1381.68162 格雷姆·恒河;豪尔赫·纳瓦斯(Jorge A.Navas)。;彼得·斯图基(Peter J.Stuckey)。;Søndergaard,哈拉尔;彼得·沙赫特 4 2013 已建立边界的稳定模型语义。 Zbl 1286.68038号 雷汉·阿卜杜勒·阿齐兹;杰弗里·楚;彼得·斯图基(Peter J.Stuckey)。 2 2013 一种基于拉格朗日松弛的正向改进启发式方法,用于最大化资源受限项目的净现值。 Zbl 1382.90120号 顾汉玉;安德烈亚斯·舒特;彼得·斯图基(Peter J.Stuckey)。 2 2013 在模运算上求解差分约束。 Zbl 1381.68267号 格雷姆·恒河;Søndergaard,哈拉尔;彼得·斯图基(Peter J.Stuckey)。;彼得·沙赫特 1 2013 通过增量接地延迟模型扩展。 Zbl 1281.68208号 De Cat,Broes公司;马克·德内克;彼得·斯塔基 4 2012 利用约束规划中的子问题优势。 Zbl 1247.68249号 杰弗里·楚;玛丽亚·加西亚·德拉班达;彼得·斯图基(Peter J.Stuckey)。 三 2012 最大密度静物寿命问题的完整解决方案。 Zbl 1251.68197号 杰弗里·楚;彼得·斯图基(Peter J.Stuckey)。 三 2012 解释累计传播者。 Zbl 1226.68099号 安德烈亚斯·舒特;蒂鲍特·费迪;彼得·斯图基(Peter J.Stuckey)。;马克·华莱士。 17 2011 MDD传播器及其解释。 Zbl 1241.90066号 格雷姆·恒河;彼得·斯图基(Peter J.Stuckey)。;拉多斯瓦夫·西曼内克 8 2011 通过动态编程解决人才调度问题。 Zbl 1243.90059号 玛丽亚·加西亚·德拉班达;彼得·斯图基(Peter J.Stuckey)。;杰弗里·楚 8 2011 G12中的Dantzig-Wolfe分解以及分支和价格求解。 兹伯利1213.90174 雅各布·普钦格;彼得·斯图基(Peter J.Stuckey)。;马克·华莱士。;布兰德,塞巴斯蒂安 8 2011 CP和IP方法用于优化癌症放射治疗的实施。 Zbl 1213.90271号 达瓦策伦·巴塔;娜塔希亚·博兰德;布兰德,塞巴斯蒂安;彼得·斯图基(Peter J.Stuckey)。 三 2011 减少SAT类搜索中的混乱:找到接近给定值的解决方案。 兹比尔1330.68266 伊格纳西·阿比奥;Deters,摩根;罗伯特·纽文胡斯;彼得·斯图基(Peter J.Stuckey)。 1 2011 UTVPI约束的增量可满足性和隐含性。 Zbl 1243.90141号 安德烈亚斯·舒特;彼得·斯图基(Peter J.Stuckey)。 11 2010 迷你锌挑战的哲学。 Zbl 1208.68207号 彼得·斯图基(Peter J.Stuckey)。;拉尔夫·贝克特;朱利安·菲舍尔 8 2010 二进制程序的快速学习。 Zbl 1285.68151号 蒂莫·伯托尔德;蒂鲍特·费迪;彼得·斯图基(Peter J.Stuckey)。 7 2010 懒惰子句生成:结合SAT和CP(以及MIP?)解决的能力。 Zbl 1285.68166号 彼得·斯图基(Peter J.Stuckey)。 6 2010 在约束编程中自动利用子问题等价性。 Zbl 1285.68153号 杰弗里·楚;玛丽亚·加西亚·德拉班达;彼得·斯图基(Peter J.Stuckey)。 6 2010 无锁并行动态编程。 Zbl 1233.68225号 亚历克斯·斯蒂瓦拉;彼得·斯图基(Peter J.Stuckey)。;玛丽亚·加西亚·德拉班达;曼纽尔·赫尔梅内吉尔多;安东尼·沃思 5 2010 使用BDD-SAT混合的快速设置边界传播。 Zbl 1210.68100号 恒河,G。;斯图基,P.J。;弗吉尼亚州泻湖。 三 2010 正交连接器布线。 Zbl 1284.68478号 米歇尔·维布罗姆;金·万豪酒店;彼得·斯图基(Peter J.Stuckey)。 2 2010 通过惰性子句生成进行传播。 兹比尔1192.68654 奥尔加·奥里蒙科;彼得·斯图基(Peter J.Stuckey)。;迈克尔·科迪什 53 2009 一元约束编程。 兹比尔1184.68166 汤姆·施里杰弗斯;彼得·斯塔基;菲利普·沃德勒 4 2009 布尔可满足性求解器的缓存意识数据结构。 Zbl 1187.68169号 杰弗里·楚;亚伦·哈伍德;彼得·斯图基(Peter J.Stuckey)。 2 2009 求解LPO终止的部分顺序约束。 兹比尔1172.68484 迈克尔·科迪什;维塔利湖;彼得·斯图基(Peter J.Stuckey)。 1 2009 密集线性整数约束的传播系统。 Zbl 1186.68437号 蒂鲍特·费迪;彼得·斯图基(Peter J.Stuckey)。 1 2009 锌建模语言的设计。 Zbl 1146.68352号 金·万豪酒店;尼古拉斯·奈瑟科特;雷扎·拉斐;彼得·斯图基(Peter J.Stuckey)。;玛丽亚·加西亚·德拉班达;马克·华莱士 32 2008 具有可满足性的逻辑编程。 Zbl 1128.68014号 迈克尔·科迪什;维塔利湖;彼得·斯图基(Peter J.Stuckey)。 10 2008 课程时间表的新整数线性规划方法。 Zbl 1180.90197号 娜塔希亚·博兰德;巴里·休斯。;利亚姆·T·G·梅洛。;彼得·斯图基(Peter J.Stuckey)。 9 2008 G12从高级模型到分支和价格解决方案。 Zbl 1142.90503号 雅各布·普钦格;彼得·斯图基(Peter J.Stuckey)。;马克·华莱士;布兰德,塞巴斯蒂安 4 2008 \类型推理是(mathrm{HM}(X))求解。 Zbl 1142.68021号 马丁·苏尔兹曼;彼得·斯图基(Peter J.Stuckey)。 三 2008 约束编程的原理和实践。2008年9月14日至18日,第14届国际会议,CP 2008,澳大利亚悉尼。诉讼程序。 Zbl 1149.68307号 三 2008 镉:ACD术语重写的实现。 Zbl 1185.68137号 格雷戈里·杜克。;莱斯利·德·科宁克;彼得·斯图基(Peter J.Stuckey)。 三 2008 边界与域传播的动态分析。 Zbl 1185.68232号 克里斯蒂安·舒尔特;彼得·斯图基(Peter J.Stuckey)。 1 2008 传播=惰性子句生成。 Zbl 1145.68527号 奥尔加·奥里蒙科;彼得·斯图基(Peter J.Stuckey)。;迈克尔·科迪什 11 2007 最小基数矩阵分解为连续矩阵:CP和IP方法。 Zbl 1214.15021号 达瓦策伦·巴塔;娜塔希亚·博兰德;布兰德,塞巴斯蒂安;彼得·斯图基(Peter J.Stuckey)。 11 2007 序列约束的编码。 Zbl 1145.68507号 布兰德,塞巴斯蒂安;尼娜·纳罗季斯卡;克洛德·盖·昆珀;彼得·斯塔基;沃尔什,托比 10 2007 通过约束处理规则了解函数依赖性。 Zbl 1107.68031号 马丁·苏尔兹曼;格雷戈里·杜克。;西蒙·佩顿·琼斯;彼得·斯图基(Peter J.Stuckey)。 10 2007 约束处理规则的可观察汇流。 Zbl 1213.68161号 格雷戈里·杜克。;彼得·斯图基(Peter J.Stuckey)。;马丁·苏尔兹曼 10 2007 动态编程以最小化最大打开堆栈数。 Zbl 1241.90170号 玛丽亚·加西亚·德拉班达;彼得·斯图基(Peter J.Stuckey)。 9 2007 删除冗余建模中的传播冗余约束。 Zbl 1367.68262号 Choi,C.W。;J.H.M.李。;斯图基,P.J。 6 2007 减少局部搜索方法中搜索空间的孤岛限制方法。 Zbl 1142.68510号 方,H。;Y.基拉尼。;J.H.M.李。;斯图基,P.J。 1 2007 快速删除节点重叠–纠正。 Zbl 1185.68470号 蒂姆·德怀尔;金·万豪酒店;彼得·斯图基(Peter J.Stuckey)。 1 2007 快速删除节点重叠。 Zbl 1171.68609号 蒂姆·德怀尔;金·万豪酒店;彼得·斯图基(Peter J.Stuckey)。 10 2006 求解LPO终止的部分顺序约束。 Zbl 1151.68631号 迈克尔·科迪什;维塔利湖;彼得·斯图基(Peter J.Stuckey)。 8 2006 扩展代数数据类型的框架。 Zbl 1185.68202号 马丁·苏尔兹曼;杰瑞米·沃兹尼;彼得·斯图基(Peter J.Stuckey)。 6 2006 …还有53个文档 所有引用出版物 前5名被引用出版物 全部的 前5名1154位作者引用 43 彼得·詹姆斯·斯塔基 14 汤姆·施里杰弗斯 12 迈克尔·科迪什 9 格雷姆·恒河 9 曼努埃尔·赫梅内吉尔多。 8 蒂莫·伯托尔德 8 塔克·吉多 7 巴特·德梅恩 7 托姆·吕维思 7 李,吉米·霍曼 7 马克·华莱士。 6 Carlsson,马茨 6 毛里齐奥·加布里埃利 6 约翰·加拉赫(John P.Gallagher)。 6 玛丽亚·加西亚·德拉班达 6 安迪·金 6 Joáo P.塞尔瓦侯爵。 6 弗雷德·梅斯纳德 6 伊恩·米格尔 6 马丁·苏尔兹曼 6 帕斯卡·范·亨特利克 5 阿尔伯特·埃尔维拉 5 莱斯利·德科宁克 5 皮埃尔·弗莱纳 5 比肖克桑·卡夫 5 金·万豪酒店 5 贾斯汀·皮尔逊 5 阿尔贝托·佩特罗西 5 毛里齐奥·普罗埃蒂 5 彼得·沙赫特 5 安德烈亚斯·舒特 5 Søndergaard,哈拉尔 5 克里希纳·苏布拉马尼 5 Wojciechowski,Piotr J。 4 Özgür阿贡 4 米克尔波菲尔 4 巴特·博加特 4 海宁·克里斯蒂安森 4 杰弗里·楚 4 安德烈·奥古斯托·西雷 4 吕克·德·雷德 4 格雷戈里·杜克。 4 埃曼纽尔·希伯拉德 4 斯特凡·海因茨 4 约翰·胡克(John N.jun Hooker)。 4 阿夫拉罕·伊扎科夫 4 尼古拉·利昂 4 玛丽亚·希亚拉(Maria Chiara Meo) 4 阿尔特·米德尔多普 4 Peter W.南丁格尔。 4 费尔南多·奥雷贾斯 4 埃蒂安·佩耶特 4 吉安弗兰科·罗西 4 卢梭,路易斯·马汀 4 托尔斯滕·绍布(Torsten H.Schaub)。 4 彼得·施奈德·坎普 4 乔恩·斯奈尔斯 4 彼得·范·威特 4 德国维达尔 4 雅各布·维茨 4 罗兰·H·C·雅普。 三 马里奥·阿尔维亚诺 三 文森佐·阿塞里 三 华金·阿里亚斯 三 穆苏诺里·班巴拉 三 J.克里斯托弗·贝克 三 尼古拉斯·贝尔迪塞努 三 阿米尔·本·阿姆拉姆。 三 Boland,Natashia L。 三 布兰德,塞巴斯蒂安 三 曼纽尔·卡罗 三 阿尔贝托·塞塞利 三 陈毅夫 三 阿戈斯蒂诺·科尔特斯 三 德卡特,布罗斯 三 阿戈斯蒂诺·多维尔 三 蒂姆·德怀尔 三 安德烈亚斯·恩斯特(Andreas T.Ernst)。 三 沃尔夫冈·费伯 三 蒂鲍特·费迪 三 法比奥·菲奥拉万蒂 三 迈克尔·弗兰克 三 艾伦·M·弗里希。 三 法比奥·富里尼 三 马丁·格布瑟 三 伊恩·菲利普·根特 三 塞尔吉奥·格雷科 三 尤里安·黑格 三 Nao Hirokawa 三 克里斯托弗·杰斐逊 三 彼得·琼森 三 埃米尔卡尔松 三 叶卡捷琳娜·科门丹茨卡亚 三 斯特凡·克雷特 三 Kučera,佩特 三 爱德华·兰姆 三 法律,Yat Chiu 三 尤利亚·利勒 三 林奇,因斯 三 迈克尔·马赫(Michael J.Maher)。 …还有1054名作者 全部的 前5名86篇连载文章被引用 61 约束条件 61 逻辑程序设计理论与实践 35 人工智能 25 欧洲运筹学杂志 22 理论计算机科学 20 计算机与运筹学 13 数学与人工智能年鉴 12 信息计算杂志 10 运筹学年鉴 10 人工智能研究杂志 10 数学规划计算 9 调度日志 8 自动推理杂志 7 函数编程杂志 7 高阶与符号计算 6 信息与计算 5 计算机与系统科学杂志 5 新一代计算 5 算法 5 运筹学国际交易 4 离散应用数学 4 OR光谱 4 欧洲计算优化杂志 4 SN运营研究论坛 三 国际近似推理杂志 三 系统设计中的形式化方法 三 启发式杂志 三 计算机基础理论 三 优化与工程 三 逻辑与代数程序设计杂志 三 ACM计算逻辑汇刊 三 4个或 三 程序设计中的逻辑和代数方法杂志 2 信息处理信件 2 信息科学 2 编程和计算机软件 2 计算机程序设计科学 2 符号计算杂志 2 计算的形式方面 2 全球优化杂志 2 数学编程。A系列B系列 1 信息学学报 1 计算机与数学及其应用 1 离散数学 1 国际工程数值方法杂志 1 最优化理论与应用杂志 1 运筹学 1 Opsearch(操作搜索) 1 运营研究信件 1 国际生产研究杂志 1 离散和计算几何 1 并行与分布式计算杂志 1 人工智能通信 1 神经计算 1 MSCS公司。计算机科学中的数学结构 1 国际计算机数学杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 数学逻辑档案 1 计算优化及其应用 1 逻辑、语言与信息杂志 1 应用的分类结构 1 计算与应用数学 1 顶部 1 组合优化期刊 1 图形算法与应用杂志 1 美国医学会杂志 1 整数序列杂志 1 RAIRO公司。运筹学 1 应用数学杂志 1 机器学习研究杂志(JMLR) 1 计算机语言、系统和结构 1 ACM实验算法杂志 1 离散算法杂志 1 应用逻辑杂志 1 计算管理科学 1 离散优化 1 工业与管理优化杂志 1 工程优化 1 浙江大学学报。科学A 1 数学与艺术杂志 1 计算机科学中的逻辑方法 1 算法 1 运筹学进展 1 统计调查 1 RAIRO公司。理论信息学及其应用 1 计算机科学评论 全部的 前5名21个领域被引用 412 计算机科学(68至XX) 223 运筹学、数学规划(90-XX) 34 数学逻辑和基础(03-XX) 18 组合数学(05-XX) 11 博弈论、经济学、金融和其他社会和行为科学(91-XX) 9 生物学和其他自然科学(92-XX) 8 数值分析(65-XX) 4 总体主题;集合(00-XX) 三 凸和离散几何(52至XX) 三 统计学(62-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 范畴理论;同调代数(18-XX) 2 变分法与最优控制;最优化(49至XX) 1 历史和传记(01-XX) 1 阶、格、有序代数结构(06-XX) 1 功能分析(46倍X倍) 1 一般拓扑结构(54至XX) 1 可变形固体力学(74-XX) 1 流体力学(76-XX) 1 经典热力学,传热(80-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文