编辑配置文件(在新选项卡中打开) 艾伦·M·弗里希。 合著者距离 作者ID: 弗里希·阿兰·姆 发布日期: 艾伦·M·弗里希。;艾伦·弗里希 外部链接: MGP公司 已编制索引的文档: 16出版物自1989年起 2作为编辑的贡献 合著者: 23位合著者具有16联合出版物 280位合作作者 全部的 前5名合著者 2 单作者的 7 伊恩·米格尔 4 沃尔什,托比 2 詹姆斯·库森 2 赫尼奇,卜拉欣 2 克里斯·杰斐逊 2 克孜尔坦、泽内普 2 Peter W.南丁格尔。 2 理查德·谢尔(Richard B.Scherl)。 1 阿坤、奥祖尔 1 马克·巴特利特 1 安东尼·多吉特。 1 林登·德雷克 1 伊恩·菲利普·根特 1 彼得·哈德维 1 尤塞夫·哈马迪 1 沃里克·哈维 1 克里斯托弗·杰斐逊 1 伯纳黛特·马丁内斯·埃尔南德斯 1 佩奇(C.David jun)。 1 蒂莫西·佩格尼茨(Timothy J.Peugniez)。 1 丹尼尔·谢里丹 1 塔里木,S.Armagan 1 不值得,克里斯 系列 5 人工智能 1 自动推理杂志 1 约束条件 1 机器学习研究杂志(JMLR) 1 计算机科学课堂讲稿 领域 17 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用159中的次141文件 引用人▼ 年份▼ 概率逻辑的任何时间演绎。 Zbl 0809.03016号 艾伦·M·弗里希。;彼得·哈德维 46 1994 本质:用于指定组合问题的约束语言。 兹比尔1147.68424 艾伦·M·弗里希。;沃里克·哈维;克里斯·杰斐逊;伯纳黛特·马丁内斯·埃尔南德斯;伊恩·米格尔 24 2008 分类演绎的替代框架:混合推理的基本结果。 Zbl 0736.68071号 艾伦·M·弗里希。 17 1991 时间背包问题及其求解。 Zbl 1133.68425号 马克·巴特利特;艾伦·M·弗里希。;尤塞夫·哈马迪;伊恩·米格尔;塔里木,S.Armagan;不值得,克里斯 13 2005 CGRASS:一个用于转换约束满足问题的系统。 Zbl 1023.68668号 艾伦·M·弗里希。;伊恩·米格尔;沃尔什,托比 10 2003 字典排序约束的传播算法。 Zbl 1131.68521号 艾伦·M·弗里希。;赫尼奇,卜拉欣;克孜尔坦、泽内普;伊恩·米格尔;沃尔什,托比 10 2006 打破更多行和列对称性的约束。 Zbl 1273.68075号 艾伦·M·弗里希。;克里斯·杰斐逊;伊恩·米格尔 9 2003 分类演绎的一般框架:混合推理的基本结果。 Zbl 0711.03006号 艾伦·M·弗里希。 8 1989 用随机局部搜索解决非布尔可满足性问题:编码的比较。 Zbl 1109.68109号 艾伦·M·弗里希。;蒂莫西·佩格尼茨(Timothy J.Peugniez)。;安东尼·多吉特。;Peter W.南丁格尔。 7 2005 模态演绎的一般框架。 Zbl 0765.68172号 艾伦·M·弗里希。;理查德·谢尔(Richard B.Scherl)。 6 1991 用于有界模型检查的基于定点的编码。 Zbl 1019.68590号 艾伦·弗里希;丹尼尔·谢里丹;沃尔什,托比 3 2002 多集合排序约束的过滤算法。 Zbl 1191.68633号 艾伦·M·弗里希。;赫尼奇,卜拉欣;克孜尔坦、泽内普;伊恩·米格尔;沃尔什,托比 3 2009 咒语:根据问题规范自动生成约束模型。 Zbl 07570882号 阿坤、奥祖尔;艾伦·M·弗里希。;伊恩·詹特(Ian P.Gent)。;克里斯托弗·杰斐逊;伊恩·米格尔;彼得·南丁格尔 2 2022 模态演绎的约束逻辑方法。 Zbl 0796.03013号 艾伦·M·弗里希。;理查德·谢尔(Richard B.Scherl)。 1 1991 咒语:根据问题规范自动生成约束模型。 Zbl 07570882号 阿坤、奥祖尔;艾伦·M·弗里希。;伊恩·詹特(Ian P.Gent)。;克里斯托弗·杰斐逊;伊恩·米格尔;彼得·南丁格尔 2 2022 多集合排序约束的过滤算法。 Zbl 1191.68633号 艾伦·M·弗里希。;赫尼奇,卜拉欣;克孜尔坦、泽内普;伊恩·米格尔;沃尔什,托比 3 2009 本质:用于指定组合问题的约束语言。 Zbl 1147.68424号 艾伦·M·弗里希。;沃里克·哈维;克里斯·杰斐逊;伯纳黛特·马丁内斯·埃尔南德斯;伊恩·米格尔 24 2008 字典排序约束的传播算法。 Zbl 1131.68521号 艾伦·M·弗里希。;赫尼奇,卜拉欣;克孜尔坦、泽内普;伊恩·米格尔;沃尔什,托比 10 2006 时间背包问题及其求解。 Zbl 1133.68425号 马克·巴特利特;艾伦·M·弗里希。;尤塞夫·哈马迪;伊恩·米格尔;塔里木,S.Armagan;不值得,克里斯 13 2005 用随机局部搜索解决非布尔可满足性问题:编码的比较。 Zbl 1109.68109号 艾伦·M·弗里希。;蒂莫西·佩格尼茨(Timothy J.Peugniez)。;安东尼·多吉特。;Peter W.南丁格尔。 7 2005 CGRASS:一个用于转换约束满足问题的系统。 Zbl 1023.68668号 艾伦·M·弗里希。;伊恩·米格尔;沃尔什,托比 10 2003 打破更多行和列对称性的约束。 Zbl 1273.68075号 艾伦·M·弗里希。;克里斯·杰斐逊;伊恩·米格尔 9 2003 用于有界模型检查的基于定点的编码。 Zbl 1019.68590号 艾伦·弗里希;丹尼尔·谢里丹;沃尔什,托比 3 2002 概率逻辑的任何时间演绎。 Zbl 0809.03016号 艾伦·M·弗里希。;彼得·哈德维 46 1994 分类演绎的替代框架:混合推理的基本结果。 Zbl 0736.68071号 艾伦·M·弗里希。 17 1991 模态演绎的一般框架。 Zbl 0765.68172号 艾伦·M·弗里希。;理查德·谢尔(Richard B.Scherl)。 6 1991 模态演绎的约束逻辑方法。 Zbl 0796.03013号 艾伦·M·弗里希。;理查德·谢尔(Richard B.Scherl)。 1 1991 分类演绎的一般框架:混合推理的基本结果。 Zbl 0711.03006号 艾伦·M·弗里希。 8 1989 所有引用出版物 前5名被引用出版物 全部的 前5名246位作者引用 9 托马斯·卢卡西维奇 6 道德,德拉甘 6 伊恩·米格尔 6 Ognjanović,佐兰 5 伊恩·菲利普·根特 5 李,吉米·霍曼 5 彼得·詹姆斯·斯塔基 4 阿坤、奥祖尔 4 玛丽亚·加西亚·德拉班达 4 克里斯托弗·杰斐逊 4 Peter W.南丁格尔。 4 马克·华莱士。 3 维罗妮卡·比亚佐 3 比尔科特,汉斯·尤根 3 卡德尔斯,香椿 3 Dautović,Šejla 3 吕克·德·雷德 3 艾伦·M·弗里希。 3 法比奥·富里尼 3 安吉洛·吉利奥 3 法律,Yat Chiu 3 约翰·马丁诺维奇 3 克里斯托弗·米尔斯 3 帕特里克·普洛瑟 3 尼科·斯特拉斯达特 3 塔克,吉多 3 沃尔什,托比 2 米克尔波菲尔 2 马里亚·博里奇奇 2 迈克尔·科迪什 2 法比奥·加利亚迪·科兹曼 2 安东尼·亨特 2 哈米德雷扎·贾汉茹 2 肯·卡内瓦 2 埃雷兹·坎特 2 彼得·库切拉 2 Ciaran McCreesh 2 何塞·梅塞盖尔·瓜伊塔 2 米克尔帕拉西 2 拉贾拉曼·拉杰莫汉 2 朱塞佩·桑菲利波 2 内纳德·萨维奇 2 彼得·萨维克 2 理查德·谢尔(Richard B.Scherl)。 2 亚历山大·希恩多夫 2 格哈德·舒尔茨 2 帕特里克·斯普拉克伦 2 Stickel,Mark E。 2 Suy,约瑟普 2 尤金妮亚·特诺夫斯卡 2 瓦列里奥·德·卡瓦略(Valério de Carvalho)、何塞·曼纽尔(JoséManuel) 2 马图·维拉雷特 1 罗伯托·阿马迪尼 1 埃亚尔·埃米尔 1 杰里特·安德斯 1 恩里科·安杰利利 1 卡洛斯·安索特吉 1 John M.Aronis。 1 班科维奇,米兰 1 J.克里斯托弗·贝克 1 伯恩哈德·贝克特 1 克里斯托夫·贝尔 1 尼古拉斯·贝尔迪塞努 1 瓦夏克·贝勒 1 西德汉·巴夫纳尼 1 尼古拉·比安切西 1 尼古拉·S·比约纳。 1 亨德里克·布洛克 1 巴特·博加特 1 西尔万·布瓦雷特 1 莫里斯·布鲁诺 1 克里斯托弗·布尔佐斯卡 1 伯特兰卡邦 1 马可·卡多利 1 安德烈·卡利 1 洛伦佐·坎迪戈 1 卡尔森,Mats 1 杰弗里·楚 1 詹斯·文瑟·克劳森 1 弗朗索瓦·克劳提奥 1 安东尼·科恩(Anthony G.Cohn)。 1 法比奥·科兹曼。 1 安德烈亚斯·达曼 1 杰西·戴维斯 1 格劳贝尔·德博纳 1 凯西奥·波尔波·德坎波斯 1 德卡特,布罗斯 1 斯特夫·德·普特 1 罗德里戈·德萨尔沃·布拉兹 1 迭戈·德乌尼亚 1 文森特·德维特 1 弗朗索瓦斯·德巴特 1 毛罗·德尔·阿米科 1 巴特·德梅恩 1 马克·德内克 1 黛蒂安,鲍里斯 1 卢卡斯·法戈尼 1 董伟 1 安东·德里斯 1 帕特里斯·恩贾尔伯特 …还有146位作者 全部的 前5名37篇连载文章中引用 28 人工智能 17 约束条件 13 国际近似推理杂志 8 理论计算机科学 5 数学与人工智能年鉴 3 计算机与运筹学 2 计算机与数学及其应用 2 合成 2 符号计算杂志 2 运筹学年鉴 2 欧洲运筹学杂志 2 逻辑程序设计理论与实践 1 信息学报 1 计算数学 1 模糊集与系统 1 统计规划与推断杂志 1 凯贝内提卡 1 运筹学 1 编程和计算机软件 1 Studia Logica公司 1 计算机程序设计科学 1 计算机科学与技术杂志 1 新一代计算 1 算法 1 信息与计算 1 数学逻辑档案 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 人工智能研究杂志 1 软计算 1 国际不确定性、模糊性和基于知识的系统杂志 1 应用数学杂志 1 OR光谱 1 计算语言学 1 应用逻辑杂志 1 优化信函 1 计算机科学中的逻辑方法 全部的 前5名11个领域引用 104 计算机科学(68至XX) 46 数学逻辑和基础(03-XX) 33 运筹学、数学规划(90-XX) 3 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 组合数学(05-XX) 1 结合环与代数(16-XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 量子理论(81-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文